Minor simplification to natToMod.
Rename `modplus` to `(+)`.
Fix `inverse` and `fromInteger`.
Make everything public.
Added `Num (Mod (S n))` instance.