Add section 'The "shift" operation' to iset.mm
Add section 'The "shift" operation' to iset.mm

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

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