Swap altgsumbc and altgsumbcALT and standardize the comment of the ALT version.
Swap altgsumbc and altgsumbcALT and standardize the comment of the ALT version.

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