PermutationSubgroup syntax fully implemented.