Will no longer add all order symbols for integer.

No longer adds >,>=, and < to the default set of integer operators.
This means you won’t be able to apply theorems containing < unless < is
in in the VC for example.