Intuitionize opex and otex in iset.mm
Intuitionize opex and otex in iset.mm

Rename to opexg and otexg and add the condition that the classes
exist, as with snexg and prexg .

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