removed Interval (useless now)
split Arith into ArithTerm and ArithLit