Combine and simplify rules: binaryOperators