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.
Same here.

But what happens here, if the simplify call will be unsuccessful?  Should we catch an exception and run equals(0) and so on?  Or we should change the \_eval_simplify helper for Relational's?