Reword introduction to iset.mm classical section.
Reword introduction to iset.mm classical section.

Also, a few other tweaks to comments elsewhere in the file.

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