split templates and alias

3 files changed, 19 insertions, 14 deletions

diff --git a/docs/syntax/index.md b/docs/syntax/index.md
index 1318219..cbea641 100644
--- a/docs/syntax/index.md
+++ b/docs/syntax/index.md
@@ -141,3 +141,9 @@ A list of statements between `{}` separated by  `;` or `\n` associated with a co
     { default statements }
 }
 ```
+
+#### Mutation `^`
+
+```test
+^ mutation { statements }[args]
+```
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 3b67475..430792b 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -1,12 +1,12 @@
-# Type System
+# Templates
 
 ---
 
-# Templates
-
 A template is an incomplete type
 
-## Template Fields
+```text
+Template[Field; ...]
+```
 
 If a field in a template is not filed, one of these are required:
 
@@ -18,16 +18,10 @@ Denotes a field in a template that has not resolved
 
 Denotes that a field that does not resolve to anything
 
-## Defined Templates
+## Value Templates
 
 * #### [Enum](./enum.md)
 
-# Alias
-
-A type based on a complete template that is interchangeable with what it is based on
-
-## Defined Alias
-
-# Unique
+## Container Templates
 
-A type based on a complete template that is not interchangeable with what it is based on
+## AST Templates
diff --git a/mkdocs.yml b/mkdocs.yml
index 6df0e4d..0d0031b 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -5,4 +5,9 @@ repo_name: Markdown Source
 nav:
   - Main: 'index.md'
   - Syntax: 'syntax/index.md'
-  - Type System: 'type_system/index.md'
+  - Type System:
+    - Templates: 'type_system/index.md'
+    - Qualifiers: 'type_system/qualifiers.md'
+    - Alias: 'type_system/alias.md'
+    - Unique: 'type_system/unique.md'
+    - Enum: 'type_system/enum.md'