First working version of infinite conjugacy test

- Tidying up errors raised by Homomorphism and subclasses