[ deprecate ] `Data.Fin.Permutation.Components`

[jamesmckinna]

Work on @MatthewDaggitt 's recent #2725 and my currently-open #2740 (which adds/refactors properties of the transpose operation) suggest to me that for the price of a modest expansion of Data.Fin.Permutation, there's really no longer any reason to maintain Data.Fin.Permutation.Components as a separate module, or is there? Maybe @Taneb 's work on TranspositionLists requires the cleaner separation of the current setup?

[Taneb]

No blockers from me

[jamesmckinna]

Actually, the real answer is: no, leave things as they are.
The cost of merging together would be having to invent names to standardise apart the two definitions of transpose.
Qualified module import works just as well.