Package permutations - Namespaces

• Control.Permutation
• Control.Permutation.Types
• Control.Permutation.Mod
• Control.Permutation.Proofs
• Data.Group