Intuitionize symdif2 in iset.mm
Intuitionize symdif2 in iset.mm

Restate in terms of exclusive-or (equivalent to the original
formulation classically, different in intuitionistic logic).
Rename to symdifxor.

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