var tree lists

11 files changed, 26 insertions, 20 deletions

diff --git a/docs/application/identifier.md b/docs/application/identifier.md
index 3195955..8f85b15 100644
--- a/docs/application/identifier.md
+++ b/docs/application/identifier.md
@@ -7,9 +7,9 @@ Store vars, types and symbols as compressed strings
 ## Object Definitions
 
 ```c
-#define KPL_IDENTIFIER_PARTS 10
+#define KPL_IDENTIFIER_PARTS 9
 
-// TODO 100 charaters of [A-Za-z0-9_] in 80 bytes
+// TODO 90 charaters of [A-Za-z0-9_] in 72 bytes
 
 typedef struct {
     uint64_t parts[KPL_IDENTIFIER_PARTS];
diff --git a/docs/application/type.md b/docs/application/type.md
index e6adc81..43a8f2c 100644
--- a/docs/application/type.md
+++ b/docs/application/type.md
@@ -24,9 +24,9 @@ typedef struct {
     kpl_type_template template;
     uint8_t qualifiers;
     uint16_t modifiers;
-    kpl_ptr self;
-    uint32_t token_position, token_length;
-    int32_t id;
+    kpl_ptr self, prev, next;
+    uint32_t token_position,
+    uint16_t token_length, token_line;
     _Atomic int32_t ref_count;
     kpl_namespace_module *module;
     kpl_type_body body;
diff --git a/docs/language/index.md b/docs/language/index.md
index 679ed36..2a8ff49 100644
--- a/docs/language/index.md
+++ b/docs/language/index.md
@@ -72,10 +72,14 @@ Start with a lowercase letter
 
 Variables starting with `_` are treated as unused
 
+### Variables names have a 90 character limit
+
 ## Type Names
 
 Start with an uppercase letter created with either \`alias or \`unique
 
+### Type names have a 90 character limit
+
 ## Type Qualifiers
 
 Start with `%`
@@ -109,6 +113,8 @@ Start with a `.`
 .symbol
 ```
 
+### Symbols have a 90 character limit
+
 # Lists
 
 A list of statements between `()` separated by `;` or `\n`
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;