Revert "Add `mod` to Fin."

This reverts commit c6b9d66d00b31d25f89e0dfeab75abc86147b18d.

This was just a placeholder – not a real `mod`, and was never intended to be committed.