Kind:
    | Exclude<PassStyle, "tagged">
    | "copySet"
    | "copyBag"
    | "copyMap"
    | `match:${any}`
    | `guard:${any}`

It is either a PassStyle other than 'tagged', or, if the underlying PassStyle is 'tagged', then the getTag value for tags that are recognized at the @endo/patterns level of abstraction. For each of those tags, a tagged record only has that kind if it satisfies the invariants that the @endo/patterns level associates with that kind.