Introduce SourceSchemaDocument and FullSchemaDocument

At a glance

• Identifier: #1049
• Stage: RFC0: Strawman
• Champion: @martinbonnin
• PR: Introduce SourceSchemaDocument and FullSchemaDocument

Timeline

• 2 commits pushed on 2023-11-20:
  • Update spec/Section 3 -- Type System.md by @martinbonnin
  • code review by @martinbonnin
• Commit pushed: keep TypeSystemDocument and TypeSystemExtensionDocument, make everyth… on 2023-10-05 by @martinbonnin
• Added to 2023-10-05 WG agenda
• Spec PR created on 2023-10-04 by martinbonnin
• Commit pushed: introduce source schema document and full schema document on 2023-10-04 by @martinbonnin
• Mentioned in 2023-10 WG notes

---

Supersedes https://github.com/graphql/graphql-spec/pull/1036

See also https://github.com/graphql/graphql-wg/pull/1401 for the glossary.

This PR is a draft of what spec edits might look like to give a more precise idea of what it could end up like. Terminology and style to be fine tuned.