Multiple changes : fix compile error; add calculation of graph
automorphisms order for all types; remove one TODO