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.
Ok, I agree re: the XFAIL test.   New version tests the two explicit failures and those are coverage tests for my workaround so should be included.