3 files changed, 12 insertions, 1 deletions
diff --git a/docs/type_system/control.md b/docs/type_system/control.md
new file mode 100644
index 0000000..6a4ec49
--- /dev/null
+++ b/docs/type_system/control.md
@@ -0,0 +1,9 @@
+# Control
+
+---
+
+```text
+Control_class `alias Enum[.loop; .if; .match; .mutate; .selection]
+
+Control[TARGET; ARGS; LIST; Control_class]
+```
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 4cc3586..9cc9241 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -78,6 +78,8 @@ Denotes that a field that does not resolve to anything
 
 * #### [Op](./op.md)
 
+* #### [Control](./control.md)
+
 * #### [List](./list.md)
 
 * #### [Namespace](./namespace.md)
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index fc5b0ff..ec90864 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -5,5 +5,5 @@
 A "List" of statements
 
 ```text
-List[TARGET; SCOPE; STATEMENTS ...]
+List[SCOPE; STATEMENTS ...]
 ```