Created ConstraintType and Constraint meta-classes. Added DataType.constraint and Member.constraint properties. Added SimpleDataType.extension property. Changed StructuredDataType.extension property multiplicity to *. Created EnumDataType meta-class. Added intValue and boolValue properties to LiteralValueUse.

Updated layout and appearance of Procedure, ActionFunction, DynamicDataUse, Time, TimeOp, TimerOp, TestConfiguration, TestDescription, DataMapping, BasicData, CollectionData

 * copied from part 3

Added extension property to AnnotationType, StructuredDataType, ComponentType and GateType + updated Miscellaneous, StructuredData and ConfigTypes diagrams.