Remove axnulALT from iset.mm
Remove axnulALT from iset.mm

We don't yet have ax-rep (in that exact form, anyway). Also,
remove some comments which may not apply to our axioms.

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