ArithExpr is used to represent expressions in Typed