Total order on Nat
Add minimum and maximum on newly defined Order class
Order on Fin
Documentation improvement
Decidable instance for FinLTE
Merge pull request #918 from JanBessai/TotalNatOrder

Total order on Nat