Verify examples integrity/correctness against internal model

Examples are written both in the static text of the specification, and in the written in the text strings that make up documentation for each of the item types in the internal model (this text also gets copied into the spec during the generation of docs from the model).

It would be _really nice_(tm) if examples were somehow extracted and formally verified to be correct according to the model. The design of this is however very TBD. Open for suggestions.

Start by locating the specification's static examples, the item-type documentation strings in the internal model, and the documentation-generation path. Compare how examples are represented in each source and determine a verification design. Done means the examples can be extracted and formally checked for correctness against the model.

Written by the indexing model from the issue text.