added a bunch of simple transformations (approx, leq, ll, neq etc)