Rename permutation to Permutation