Intuitionize gencbval in iset.mm
Intuitionize gencbval in iset.mm

Rewrite the proof to be analogous to gencbvex, rather than
invoking gencbvex and applying non-intuitionistic relationships
between E. and A. .

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