Add GroupSet.  Rename Covering to Cover.