fix: stricter binary operation operand type compatibility check

fix: stricter binary operation operand type compatibility check #987