Relational.canonical simplifies Ge -> Le and Gt -> Lt

This is made part of Relational simplification and is
used in the equals method for Relationals.

The presence of Relationals in Booleans sent to equals
raises an error since that routine is not set up to handle
them.
And and Or are complementary-arg aware
Impies is complementary-arg aware
Xor is complementary-arg aware
Implies(x, x) -> true
8413: Min and Max are floor and ceiling aware

- facilitate changes with reversed property of Relational which
  reverses the direction of the Relational
special-case +/-oo in _Inequality
quick