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.
>> @@ -393,7 +394,7 @@ def solve_univariate_inequality(expr, gen, assume=True, relational=True):
>>          if expr.subs(gen, (start + end)/2 if start != -oo else end - 1):
> 
> simplify as well?

I've done so, and one just below too.  Thanks!