My impression is that earlier
[] == []
used to give a type error.  Now it gives True.

So
1. Which instance of == is being used?
2. Is there some option controlling this behavior?