Intuitionize funiunfv and funiunfvf in iset.mm
Intuitionize funiunfv and funiunfvf in iset.mm

As suggested in the comment, change Fun F to F Fn A in both
funiunfv (renamed to funiunfvdm ) and funiunfvf (renamed to
funiunfvdmf ). We don't have the ability to handle the
behavior outside the domain of the function the way set.mm does.

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