moved contents of arithmetic_utils.cpp into the header
removed arithmetic_utils.cpp
renamed class Constraint_L_Term -> Constraint_L_Atom
renamed class Exp_A_Term -> Constraint_A_Term
renamed class Exp_S_Term -> Exp_S_Term