Renamed all uses of PermutationAction to FaithfulPermutationAction.