Add function operations to iset.mm
Add function operations to iset.mm

This is the section "Function operation" from set.mm without
changes. Follow ups will be required to get it to verify.
It includes the oF and oR syntaxes.

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