Hierarchical group membership (groups inside groups)

@angus I’m wondering whether the GroupAssociatedGroup already implements this thread’s intention.