a module implementation Permutations (see comments for details).  I think this is a better representation, or at least, is worth trying.
use a different notion of permutation for another potential proof
Merge branch 'master' of https://github.com/zsparks/pi-dual