Added group theory libraries in haskell and jj2