Remove some deprecated and unneeded stuff

We had two implementations of Ordering that were duplicating code in the scala standard lib, and a very old deprecated function that should have been removed a while back.