Rehashed #37. Added some more functions and examples for Nat.