Ineq: fix tests that fail due to ineq not simplifying [3/n] (squash)

leave some comments in the solver to explain why we added simplify.
Also, simplify the other subs (they didn't fail but presumably could?)

squash with the other 3/n