Started refactoring using type classes. Migrated Permutable => Lexico (by wrapping), renamed Action => PRepr (permutation representation), introduced true Action, stole syntax from Spire.