Intuitionize euxfr in iset.mm
Intuitionize euxfr in iset.mm

Add a decidability condition and rename to euxfrdc .  The proof
requires little change other than changing euxfr2 to euxfr2dc .

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