Renamed fucntions in alg.cube.
Simplification works recursively (e.g. inside commutators).
Support for mirroring across M.