Add class form not-free predicate to iset.mm
Add class form not-free predicate to iset.mm

This is a copy-paste from set.mm.

All the proofs here verify except nfabd2 and nfabd (which depends
on it). Will make a follow up commit to fix that.

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