Fixed natToMod to successfully typecheck

Specified that unless both the Nat is (S n) and the target type is Mod (S m),
natToMod should return mZ
Merge pull request #3 from esmooov/master

Fixed natToMod to successfully typecheck