Infinity/NegativeInfinity: simplify relational code

If we call `Expr.__lt__` then we do not need as much error checking
here.  In particular, can drop the "compare to nonreal" error.
Merge pull request #8389 from cbm755/inf_ineq

Infinity/NegativeInfinity: simplify relational code