Fix `tight mod` and make related changes.
Refactor Mod.idr

Change from a duplicate of Fin to a wrapper.
Reorganizing modules.