Permutation

Implementation of Permutation and unit tests.  The forgetful functor is commented out 'cause we don't have orthogonal transformations yet.