optional members

[d-v-b]

making Group.members optional is nice for certain situations, but it adds some unnecessary complexity when creating hierarchies directly (i.e., when we know for sure that members will be defined). It might make sense to use a separate subclass of Group where members is optional, preserving the simpler typing of the base type.