Added creation of FGroup and PGroup from FiniteGroup and PermGroup instances.
Permutable can use a subgroup as a symmetry group.