Total order on Nat

Adds a typeclass for things which are totally ordered and implements a total order on Nat as well as Fin