Started poking around with a possible different formulation of order typeclasses. Some code and lots and lots of ponderous commentary.
Some fiddling with Cmp and Order, and yet more pondering.
New order classes seem to possibly work.

Applications of old code to Nats outcommented ATM and need to be
adapted. Also, time to clean up ponderings.
Cleaned up most of the comments.
The current code is incorrect due to weak preorder
Merge branch 'order-alt' of github.com:tpsinnem/Idris-dev