consolidate `Laws` with `Group`?

These are a bit different, since the intention of `Group` is more general, whereas `Laws` is meant to indicate just a test involving a typeclass law(s).

Here are their respective definitions:

```haskell
data Group = Group
{ groupName :: GroupName
, groupProperties :: [(PropertyName, Property)]
}

data Laws = Laws
{ lawsTypeClass :: String
, lawsProperties :: [(String, Property)] -- ^ (law name, property)
}
```

Start by comparing the Group and Laws definitions shown in the issue and determine whether their differing purposes can be represented by one abstraction. Done means reaching and documenting a design decision about consolidation, including how the existing fields and typeclass-law semantics should be preserved.

Written by the indexing model from the issue text.