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.
> you can use simplify method here

How?  What if it reduces to boolean without simplifying?  `S.true.simplify()` raises AttributeError.