DataTypes diagram

The DataTypes diagram defines the metaclasses that define data types.