Add "Restricted iota" section to iset.mm
Add "Restricted iota" section to iset.mm

This is the "Restricted iota (description binder)" section
copied from set.mm without changes. Follow up changes will be
needed to get it to verify.

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