Implementation and specs for removing groups, with membership types