Binary ineq like `<` should give same as functional forms `Lt`

[WIP]

Is this the right fix for underlying issue in pr #7783?

There is bound to be some fallout, but at least test_relational passes (including my test from #7783 which I've included here)