Typed.IfThenElse --> Typed.IfThenElseArith