Added more things to Nat

Updated #37 to the latest `Nat` implementation. Added:
* `Pow` and `Min`
* Factorial and GCD examples
* Tests for `Pow`, `Min`, `LT` and `LTEq`