Intuitionize elfzonelfzo in iset.mm
Intuitionize elfzonelfzo in iset.mm

The changes are to avoid ltnle and con1d by replacing this part
of the proof by a number of steps including elfzo .

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