Adapt FreeGroupWord and FreeGroup to Sage categories. This version works
but breaks everything about FreeGroupAutomorphisms.