Extend EQUALS and UNEQUALS binary operator checks to forbid comparing specific types for (non)equality.
EQUALS
UNEQUALS
Adresses #424