Checks that a type has one or more child definitions.