Grig as Group with name introduced. Now Conjugates in Grig computable via IsConjugate, RepresentativeActionOp.