Reject statically invalid comparisons between disjoint types

ObjoBasic allowed equality and ordering comparisons between statically disjoint operand types, such as comparing an Integer variable to a String literal. These expressions either always evaluate to False for equality or fail later for unsupported ordering, so the compiler should report them during type checking.