Define the empty perm and the single element perm
Simple casting of a permutation of one type to another
Introduce a new module implementing common permutation classes.