Add nfmod and nfmo to iset.mm
Add nfmod and nfmo to iset.mm

nfmod is readily proved in terms of nfeud and once we have that,
the proof of nfmo from set.mm can be copy-pasted without changes.

metamath/set.mm,metamath/set.mm,metamath/set.mm