Re: equality operators on types

[Bernard Helyer]

Of course, "T == int" is unambiguous, but then when you can do 
that and not "T == J" you'll confuse people ("the compiler knows 
T and J are types...") and that rabbit hole is a dangerous one. 
Mainly because it makes parsing more difficult. I am nothing if 
not biased. :P