OCL25 — OCL 2.3.TupleType semantics and AST

8.2 Does the lack of restriction on feature types for a TupleType extend to InvalidType and VoidType? With an InvalidType feature the tuple could only be 'well-formed' when containing an invalid value. Surely a tuple with an invalid value is itself invalid and not well-formed?

8.2.2 TupleType has some ASCII code corruptions in the OCL.

8.2.2 TupleType uses unqualified names for feature types allowing an ambiguity when package path is significant.

10.2 TupleValue surely values must not be invalid?

13 TupleLiteralExp has a TupleLiteralPart which has a Property, not accommodating the OclExpression of an initExpression provided by the concrete syntax. Surely a TupleLiteralPart is a derived VariableDeclaration adding an initExpression?