Szimmetrikusnak szimmetrikus, csak nem tranzitív.
Normális esetben, amikor beírsz egy kifejezést, tudod, hogy a változók milyen típusúak benne, akkor meg azt is, hogy mit fog csinálni az operátor. Ellenőrizve persze nincs, ez minden laza típusos nyelvnél probléma.
A "ne használd"-at az == operátorra értettem olyan esetben, amikor különbözőek a típusok, nem a nyelvre.