Intuitionize fconst4 in iset.mm
Intuitionize fconst4 in iset.mm

Rename to fconst4m and add condition that the domain of the
function is inhabited.

Add dfmptg and fnasrng which are analogues to dfmpt and fnasrn .

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