This should be set, and can be set easily--you just keep a history of the set of `kind` of all children.  It's expected in certain places, so necessary.