Remove nfra2 from iset.mm
Remove nfra2 from iset.mm

It is not much used and we don't (yet at least) have the ability
to prove it without additional distinct variable constraints.

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