Made Finite/Permuting hierarchy more orthogonal.
Corrected bug in subgroup search.