Move nfa2 and nfia1 earlier in iset.mm
Move nfa2 and nfia1 earlier in iset.mm

This is intended to be closer to where they are in set.mm, and
also will enable us to use nfa2 in some cbv* proofs.

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