Tweaks to documentation
Moving examples imports to .. testsetup
(Iso, Auto)morphism -> (Homo, Auto)morphism

Could not use an isomorphism to represent the relabeling process because
such maps are not surjective in general. Use a homomorphism instead.

Unfortunately this means that the image() method had to be reworked
(inverses don't make sense for homomorphisms).