Added four new semigroups:

stringSemigroup -> String Concatination
disjunctionSemigroup -> Disjunction
exclusiveDisjunctionSemigroup -> Exlusive Disjunction
conjunctionSemigroup -> Conjunction