Intuitionize iinab in iset.mm
Intuitionize iinab in iset.mm

Just needs nfiin changed to nfiinxy (the distinct variable
constraint is already satisfied).

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