OCL25 — OCL 2.1 11.7: Clarifying Collection Well-formedness rules

The discussion of Issue 12953 suggests that two members of the RTF agreed that is unclear
what T in e.g Set's including(Object : T) means.

The first paragraph of Section 11.6 makes clear that the intent of the specification applies to e.g. Set(T) and
so the well-formedness rules in 11.7 refer to e.g. Set(T)::including(Object: T), so T is the known element
type of the collection. It is therefore a static error to attempt to invoke Set(T) including for an object
incompatible with the known element type T.

It would be helpful for the Section headings in 11.7 to have a (T) appended so that the 11.6 specification
of T was clearly carried over from 11.6 to 11.7. e.g.

Replace

11.7.1 Collection

by

11.7.1 Collection(T)