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.
>> @@ -624,7 +645,8 @@ class StrictLessThan(_Less):
>>  
>>      @classmethod
>>      def _eval_relation(cls, lhs, rhs):
>> -        return _sympify(lhs < rhs)
>> +        # We don't use the op symbol here: workaround issue #7951
>> +        return lhs.__lt__(rhs)
> 
> \_sympify?

Should not be necessary.  One could argue it should *not* be there: we
want `Lt(x,y)` and `x < y` to do the same thing.  If this `_sympify`
were required then they do not do the same thing (and that is a bug to
fix in someone's `__lt__` method.)

OTOH, *with* `_sympify`, we tell programmers we want `S.true` rather
than `True`.  On consideration, this seems more important, so I've
added it.

Thanks