Add nnawordex to iset.mm
Add nnawordex to iset.mm

The statement of the proof is as in set.mm. The proof is
completely different and is based on trichotomy.

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