Added some more functions and examples for Nat.