Types diagram
The Types diagram defines abstract metaclasses that deal with naming and typing of elements.