Intuitionize op2ndb in iset.mm
Intuitionize op2ndb in iset.mm

The only change needed is to change opex to opexg ; the needed
conditions are already satisfied.

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