Add simp-4l and friends to iset.mm
Add simp-4l and friends to iset.mm

This is simp-4l , simp-4r , simp-5l , simp-5r , simp-6l , simp-6r ,
simp-7l , simp-7r , simp-8l , simp-8r , simp-9l , simp-9r , simp-10l ,
simp-10r , simp-11l , and simp-11r . All are copied without change from
set.mm.

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