In light of https://github.com/libsemigroups/libsemigroups/pull/973, we should add the `commutator` and `add_commutator_rule`.
In light of libsemigroups/libsemigroups#973, we should add the
commutatorandadd_commutator_rule.