Better type handling in ArithmeticOperatorNode