Can extract free factors of automorphisms
Also tidying up and solidifying the main conjugacy algorithm. Much happier with the structure now.