Made Seq Eq type class explicit in wreath product groups.
Moved Grp implicits to Grp companion object.