ineq `<` same as functional forms `Lt` and drop ineq simplification

This is like #7838 but does not attempt to maintain the status quo of simplifying during inequality creation.  Expect broken tests.
I think modifying `_eval_simplify` is the way forwad.  I did not know where to do this; thanks very much for the pointer!

I put the `_eval_sides` stuff there: seems to work so will update patch tonight.