change how vars are identified

1 files changed, 11 insertions, 1 deletions

diff --git a/docs/type_system/var.md b/docs/type_system/var.md
index 77e312c..86cbc8e 100644
--- a/docs/type_system/var.md
+++ b/docs/type_system/var.md
@@ -3,5 +3,15 @@
 ---
 
 ```text
-Var[[SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; HASH; ID; LEFT_VAR; RIGHT_VAR]
+Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; VALUE; LEFT_VAR; RIGHT_VAR; TREE_WEIGHT; IDENTIFIER]
+```
+
+## Type Body Object Definition
+
+```c
+typedef struct {
+    kpl_ptr type, prev, next;
+    uint32_t tree_weight;
+    kpl_identifier identifier;
+} type_var_body;
 ```