Validates that the operand types in binary expressions are compatible