Intuitionize abrexex2g in iset.mm
Intuitionize abrexex2g in iset.mm

Change nfrex to nfrexxy ; the needed distinct variable constraint
is already present.

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