This is niche, but I think it would be super useful.
Have a type parameter, in the Group Type, that either Allows or Disallows the exclusion of elements in a group. I think if you want to be excluding elements from a group it's a conscious decision, and I'd love for most of my groups not to allow for excluding. It can just pop a warning or something.