Added documentation of powering and inverses and fixes some more canonicalisation.