Types diagram

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