Chapter 9.2.1, after Figure 36, says:

In some cases the SupportedTypes folder on the instance may be different to the one on the Type
and may contain only a subset. It may be for example that only one instance of each Type can be
configured. In this case the list of supported Types will shrink with each configured component. If the
list of supported Types is allowed to shrink on an instance, the TypeDefinition shall use an appropriate
ModellingRule like “Optional”.<<
This is not possible. According to Part 3, chapter 7.12, HasModellingRule is only allowed on Object, Variable and Method nodes, but not on Type nodes.

There is a second puzzle regarding this SupportedTypes node. Even if we forget about the HasModellingRule reference on the Type: While it is clear in the instance world what the Organizes reference from the SupportedTypes node to some type node means - what is the meaning for the organizes references of the SupportedTypes node in the type world (like in figure 36)?
What should happen when a tool creates an instance for such a type? The referenced type nodes are not part of the instance declaration and therefore not duplicated in the instance. Should the Organizes references be created? Are they mandatory or can they be deleted afterwards?