[WIP] NaN inequalities should raise TypeError

See PR #7776 for discussion.

 - [x] NumberSymbol needs special case.
 - [ ] `oo` needs special case.
 - [ ] lots of asymmetric results: IMHO we really do want *lots* of tests, not just spot tests, sorry @smichr!
 - [x] All of this is for the binary ops, `Lt` is not tackled, that is pr #7783.
 - [ ] clean up tests, currently failing.