Update sbid2 in iset.mm
Update sbid2 in iset.mm

- Rename sbid2 to sbid2h
- Add sbid2 with the same hypothesis/conclusion as set.mm, but
  proved in terms of sbid2h .

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