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 question](https://github.com/sympy/sympy/pull/7987#discussion_r17222663) here.