Intuitionize fiprc in iset.mm
Intuitionize fiprc in iset.mm

The only change needed is to change snfi to snfig (and the added
condition is easily satisfied).

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