Added Semigroup instance for PartyRelabeling.