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