Missing derived operations in `Algebra.Structures.IsGroup`/`Algebra.Bundles.Raw.RawGroup`

[jamesmckinna]

• (left- and right-; not sure which counts as which) conjugate(s) y ∙ x ∙ (y ⁻¹), (y ⁻¹) ∙ x ∙ y; (obviously interdefinable, but at the cost of having to repeatedly invoke ⁻¹-involutive)
• (both flavours of) commutator y ∙ x ∙ (y ⁻¹) ∙ (x ⁻¹), (x ⁻¹) ∙ (y ⁻¹) ∙ x ∙ y; (ditto.)
• Mal'cev operation(s) x ∙ (y ⁻¹) ∙ z;
• UPDATED: Add negatives for commutative monoids and semirings (Abelian group and ring completions) #3106 draws attention to renaming the signature of AbelianGroup with -_ in addition to _-_ added in Add new operations (cf. RawQuasigroup) to IsGroup #2251

where, in each case, we have to choose a suitable bracketing... Plus... properties?

Outstanding issue from #2252 , #2247 / #2251 : where should these new operations live?