Simplify arterm implementation

Use of term is mostly irrelevant now. It was ambiguous whether "TTerm (Var v)"
was something allowed, which doesn't make much sense.
Pass all current tests

Changed environment type in constraintSolver to StringMap.t
Detected some dead code to remove