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.