Intuitionize snelpwi in iset.mm
Intuitionize snelpwi in iset.mm

The theorem as stated still holds but change the proof from using
snex to using snexg and adjust accordingly.

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