31 Oct
2011
31 Oct
'11
2:50 p.m.
None of this has anything to do with the fact that you want to require operator== to be an equivalence relation, and it doesn't have to be.
Realistically though, when is == not (at least) an equivalence relation? Should we expect people to start overloading == to mean <? Seriously, what's the real harm in more strongly connecting syntax to semantics?