Added Semigroup instance for PartyRelabeling.
Merge branch 'master' into topic/sdp
New optimized version using SortedMap[Dom, Seq[E]]