Intuitionize elmpt2cl in iset.mm
Intuitionize elmpt2cl in iset.mm

Change elfvdm to relelfvdm (we already have a hypothesis which
implies fairly directly that F is a relation).

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