remove regex as it's own type

9 files changed, 9 insertions, 15 deletions

diff --git a/docs/type_system/buffer.md b/docs/type_system/buffer.md
index ae0c56b..ef820b4 100644
--- a/docs/type_system/buffer.md
+++ b/docs/type_system/buffer.md
@@ -7,13 +7,13 @@ An sequence of bytes with unknown size and a byte representation
 ```text
 Buffer_repesentation: Enum[.type; .utf8; .utf16; .utf32]
 
-Buffer[TYPE; Buffer_repesentation]
+Buffer[Buffer_repesentation; TYPE]
 ```
 
 ## Alias
 
 ```text
-String `alias Buffer[Void; .utf8]
+String `alias Buffer[.utf8; Void]
 
-Vector[Any] `alias Buffer[Any; .type]
+Vector[Any] `alias Buffer[.type; Any]
 ```
diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md
index 6706513..e88fb7c 100644
--- a/docs/type_system/fn.md
+++ b/docs/type_system/fn.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Fn_class `alias Enum[.partial; .complete; .iterator; .closure; .bound; .task; .native]
+Fn_class `alias Enum[.partial; .complete; .iterator; .closure; .bound; .task; .regex; .native]
 
-Fn[RETURN_TYPE; ARGS; SCOPE; STATE; CODE; Fn_class]
+Fn[Fn_class; RETURN_TYPE; ARGS; STATE; CODE; List]
 ```
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 4cc3586..80c32f4 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -60,8 +60,6 @@ Denotes that a field that does not resolve to anything
 
 ## Function Templates
 
-* #### [Regex](./regex.md)
-
 * #### [Var](./var.md)
 
 * #### [Fn](./fn.md)
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index ec90864..149d4de 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -5,5 +5,5 @@
 A "List" of statements
 
 ```text
-List[SCOPE; STATEMENTS ...]
+List[SCOPE; Parent; STATEMENTS ...]
 ```
diff --git a/docs/type_system/name.md b/docs/type_system/name.md
index 93dcddd..d23b576 100644
--- a/docs/type_system/name.md
+++ b/docs/type_system/name.md
@@ -5,5 +5,5 @@
 ```text
 Name_class `alias Enum[.unknown; .data; .alias; .unique]
 
-Name[TYPE; Name_class; IDENTIFIER; SCOPE]
+Name[Name_class; TYPE; IDENTIFIER; SCOPE]
 ```
diff --git a/docs/type_system/op.md b/docs/type_system/op.md
index 3373f17..5dd9f74 100644
--- a/docs/type_system/op.md
+++ b/docs/type_system/op.md
@@ -5,5 +5,5 @@
 ```text
 Op_class : Enum[.loop; .if; .match; .mutation; .selection; ...]
 
-Op[RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE; Op_class]
+Op[Op_class; RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE]
 ```
diff --git a/docs/type_system/regex.md b/docs/type_system/regex.md
deleted file mode 100644
index b72e330..0000000
--- a/docs/type_system/regex.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# Regex
-
----
diff --git a/docs/type_system/var.md b/docs/type_system/var.md
index cc7c275..bea4f82 100644
--- a/docs/type_system/var.md
+++ b/docs/type_system/var.md
@@ -7,5 +7,5 @@ A unique identifier for a function
 ```text
 Var_class `alias Enum[.arg; .local]
 
-Var[TYPE; Var_class; Value[U64;...]; FN]
+Var[Var_class; TYPE; Value[U64;...]; FN]
 ```
diff --git a/mkdocs.yml b/mkdocs.yml
index 349cd0f..a9733dd 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -28,7 +28,6 @@ nav:
     - Union: 'type_system/union.md'
     - Shared: 'type_system/shared.md'
     - Error: 'type_system/error.md'
-    - Regex: 'type_system/regex.md'
     - Var: 'type_system/var.md'
     - Fn: 'type_system/fn.md'
     - Overload: 'type_system/overload.md'