Add rest of "Functions" section to iset.mm
Add rest of "Functions" section to iset.mm

This is the remainder of the "Functions" section from set.mm,
copied without change. Follow up changes will be needed to
get it to verify.

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