Re: More nits

> "the data model" immediately before Section 6 should be removed.

There is a missing of "instance *of* the data model".

> What is [cx2] in the inference rule (value) in 6.2.9?

The [] notation is explained above:

[cx]
within the start-tag of a pattern refers to the context of the pattern
element

James