Added a symmetric group implementation of the group typeclass for permutations of [1,2,3,4,5,6].