Refactor: new ArithmeticOperator, BinaryArithmeticExpression