8 files changed, 15 insertions, 15 deletions
diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index f6a1f4f..e2e2c4c 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -11,13 +11,13 @@ STATEFUL : TASK | ITERATOR | CLOSURE | BOUND | REGEX
 
 FLAGS : INVOCATION | STATELESS | STATEFUL
 
-Function[[FLAGS]; STATE; List; RETURN_TYPE; Collection[VAR_TREE; TYPE.SYMBOL]]
+Function[[FLAGS]; STATE; List; RETURN_TYPE; Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
 # Alias
 
 ```text
-Fn[Generic.T; Collection[VAR_TREE; TYPE.SYMBOL]] `alias Function[[FLAGS]; STATE; List; Generic.T; Collection[VAR_TREE; TYPE.SYMBOL]]
+Fn[Generic.T; Collection[VAR_TREE_LIST; TYPE.SYMBOL]] `alias Function[[FLAGS]; STATE; List; Generic.T; Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
 # Inline Definition
diff --git a/docs/type_system/group.md b/docs/type_system/group.md
index d9c2d2d..dcc3c0a 100644
--- a/docs/type_system/group.md
+++ b/docs/type_system/group.md
@@ -5,15 +5,15 @@
 A sequence of different types accessed by index or a symbol mapped to an index
 
 ```text
-Group[[INDEX | SYMBOL] Collection[VAR_TREE; TYPE.SYMBOL]]
+Group[[INDEX | SYMBOL] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
 # Alias
 
 ```text
-Tuple[Collection[TYPE.SYMBOL]] `alias Group[[INDEX] Collection[VAR_TREE; TYPE.SYMBOL]]
+Tuple[Collection[TYPE.SYMBOL]] `alias Group[[INDEX] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 
-Table[Collection[TYPE.SYMBOL]] `alias Group[[SYMBOL] Collection[VAR_TREE; TYPE.SYMBOL]]
+Table[Collection[TYPE.SYMBOL]] `alias Group[[SYMBOL] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
 # Operators
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index f14a06e..0c90515 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -3,5 +3,5 @@
 ---
 
 ```text
-List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] Parent; VAR_TREE; TARGET; STATEMENTS ...]
+List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] Parent; VAR_TREE_LIST; TARGET; STATEMENTS ...]
 ```
diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md
index 8e02054..fc60602 100644
--- a/docs/type_system/overload.md
+++ b/docs/type_system/overload.md
@@ -5,7 +5,7 @@
 List of complete functions, selected by signature
 
 ```text
-Overload[[] Collection[VAR_LIST; Function[]]]
+Overload[[] Collection[VAR_TREE_LIST; Function[]]]
 ```
 
 ## Example
diff --git a/docs/type_system/select.md b/docs/type_system/select.md
index 1b1d05a..5cee24a 100644
--- a/docs/type_system/select.md
+++ b/docs/type_system/select.md
@@ -5,15 +5,15 @@
 A symbol associated with a type
 
 ```text
-Select[[SINGLE | MULTIPLE] Type; Collection[VAR_TREE; .symbol : %const Value]]
+Select[[SINGLE | MULTIPLE] Type; Collection[VAR_TREE_LIST; .symbol : %const Value]]
 ```
 
 # Alias
 
 ```text
-Enum[Generic.T; Collection[.symbol : %const Value]] `alias Select[[SINGLE]; Generic.T; Collection[VAR_TREE; .symbol : %const Value]]
+Enum[Generic.T; Collection[.symbol : %const Value]] `alias Select[[SINGLE]; Generic.T; Collection[VAR_TREE_LIST; .symbol : %const Value]]
 
-Mask[Generic.T; Collection[.symbol : %const Value]] `alias Select[[MULTIPLE]; Generic.T; Collection[VAR_TREE; .symbol : %const Value]]
+Mask[Generic.T; Collection[.symbol : %const Value]] `alias Select[[MULTIPLE]; Generic.T; Collection[VAR_TREE_LIST; .symbol : %const Value]]
 ```
 
 ## Definition Example
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index 5a5b71f..334c443 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -3,13 +3,13 @@
 ---
 
 ```text
-Union[CONTAINER | TRANSIENT] Collection[VAR_TREE; TYPE.SYMBOL]]
+Union[CONTAINER | TRANSIENT] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
 # Alias
 
 ```text
-Tag[Collection[VAR_TREE; TYPE.SYMBOL]] `alias Union[[CONTAINER] Collection[VAR_TREE; TYPE.SYMBOL]]
+Tag[Collection[VAR_TREE_LIST; TYPE.SYMBOL]] `alias Union[[CONTAINER] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
 ## Tag Example
diff --git a/docs/type_system/value.md b/docs/type_system/value.md
index 5cfcf90..d2e23d1 100644
--- a/docs/type_system/value.md
+++ b/docs/type_system/value.md
@@ -3,5 +3,5 @@
 ---
 
 ```text
-Value[[] TYPE; KPL_CLASS]
+Value[[] TYPE; ID; KPL_CLASS]
 ```
diff --git a/docs/type_system/var.md b/docs/type_system/var.md
index 86cbc8e..4e14e1f 100644
--- a/docs/type_system/var.md
+++ b/docs/type_system/var.md
@@ -3,14 +3,14 @@
 ---
 
 ```text
-Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; VALUE; LEFT_VAR; RIGHT_VAR; TREE_WEIGHT; IDENTIFIER]
+Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; TREE_WEIGHT; IDENTIFIER]
 ```
 
 ## Type Body Object Definition
 
 ```c
 typedef struct {
-    kpl_ptr type, prev, next;
+    kpl_ptr type, left, right;
     uint32_t tree_weight;
     kpl_identifier identifier;
 } type_var_body;