#424 Add specific type checks to equality and non-equality binary operators.

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

Adresses #424