Add initial NatOps, with toInt.
Use path-dependant Nat type instead of type parameter.
Merge pull request #284 from dwijnand/add-NatOps

Add initial NatOps, with toInt.