Typed.ArithExpr is merged into Typed.Expr