Merge the Ion Semantic Model document in with the main spec build

[toddjonker]

trafficstars

Description of changes:

This pulls the denotational semantic model document (which we've reviewed in-house) into the public specification branch.

---

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.