Remove distinct variable constraints from xpm.
Remove distinct variable constraints from xpm.

This is in iset.mm. Although the extra distinct variable
constraints might be harmless, they will propagate to theorems
which use xpm (perhaps several levels) so it seems safer
to just get rid of the constraints since it is easy to do.

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