Action on a pair
Fix bug in exponentiation

Add bool function (GHC 7.6 at home)
Implement more efficient algorithm

for symmetry class table generation
Derive some type classes (Eq, Show)
Factor with backpermute

No idea whether the code ends up faster or not.
Conjugation of FlipUDSlice projection
Merge branch 'master' of https://github.com/Lysxia/twentyseven