konn/type-natural — pull request #7 by fmap (2014-09-22 20:19:20+00:00)
Title: Renamed exponentiation; added "div", "mod".

1. Changed exponentiation operator name from (**) to (^), as proposed at #6.
2. Defined floored division and modulo on Nat and its singletons.