Progress file update

6.1.2.6.2 Using length restriction with other constraints            ()

6.2.1.1 Referencing fields of a record type                          (Tomas, done: 16 new tests, 13 positive, 3 negative)

6.2.3 Records and sets of single types                               (Tomas, done: 24 new tests, 16 positive, 8 negative)

6.2.4 Enumerated type and values                                     (Tomas, done: 21 new tests, 8 positive, 13 negative; 1 CR)

6.2.5 Unions                                                         (Tomas, done: 9 new tests, 3 positive, 6 negative)

6.2.5.1 Referencing fields of a union type                           (Tomas, done: 13 new tests, 5 positive, 8 negative)

6.2.5.1 Option and union                                             (Tomas, done: 1 new test, 0 positive, 1 negative)

6.2.5.1 Nested type definition for field types                       (Tomas, done: 1 new test, 1 positive, 0 negative)

6.2.7 Arrays                                                         (Tomas, done: 36 new tests, 17 positive, 19 negative)

6.2.7 Arrays                                                         (Tomas, done: 36 new tests, 17 positive, 19 negative; 3 CR)

6.2.9 Communication port type                                        ()

6.2.10.2 Reuse of component types                                    ()

6.2.12 Addressing entities inside the SUT                            ()