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 don't think we need this test.  See discussion in #7951, it seems we can't do anything with this problem (except for documenting another "gotcha").