remove compressed pointers

15 files changed, 17 insertions, 19 deletions

diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index d972b57..bca4c7e 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -18,7 +18,7 @@ Function[[MODE | STATELESS | STATEFUL]; JIT; IR; Body; INVOCATION_LIST; RETURN_T
 ```c
 typedef struct {
     void *jit;
-    kpl_ptr ir, body, invocation_list, return_type, var_list;
+    kpl_type *ir, *body, *invocation_list, *return_type, *var_list;
 } kpl_type_body_function;
 ```
 
diff --git a/docs/type_system/group.md b/docs/type_system/group.md
index 213e3e0..0664276 100644
--- a/docs/type_system/group.md
+++ b/docs/type_system/group.md
@@ -12,7 +12,7 @@ Group[[INDEX | SYMBOL] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 
 ```c
 typedef struct {
-    kpl_ptr var_tree, var_list;
+    kpl_type *var_tree, *var_list;
 } kpl_type_body_group;
 ```
 
diff --git a/docs/type_system/ir.md b/docs/type_system/ir.md
index 5593bc3..77c6139 100644
--- a/docs/type_system/ir.md
+++ b/docs/type_system/ir.md
@@ -12,6 +12,6 @@ Ir[[IR_NAME] Address[3]]
 
 ```c
 typedef struct {
-    kpl_ptr address[3];
+    kpl_type *address[3];
 } kpl_type_body_ir;
 ```
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index b3c6dd7..518727e 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -10,6 +10,6 @@ List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT;
 
 ```c
 typedef struct {
-    kpl_ptr parent, target, defined, named, var_tree, statement_list;
+    kpl_type *parent, *target, *defined, *named, *var_tree, *statement_list;
 } kpl_type_body_list;
 ```
diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md
index d03dbfa..151c1aa 100644
--- a/docs/type_system/lock.md
+++ b/docs/type_system/lock.md
@@ -10,7 +10,7 @@ Lock[[] TARGET]
 
 ```c
 typedef struct {
-    kpl_ptr target;
+    kpl_type *target;
 } kpl_type_body_lock;
 ```
 
diff --git a/docs/type_system/map.md b/docs/type_system/map.md
index 839d511..adf227d 100644
--- a/docs/type_system/map.md
+++ b/docs/type_system/map.md
@@ -10,7 +10,7 @@ Map[[] KEY_TYPE; VALUE_TYPE]
 
 ```c
 typedef struct {
-    kpl_ptr key, value;
+    kpl_type *key, *value;
     kpl_interface *interface;
 } kpl_type_body_map;
 ```
diff --git a/docs/type_system/name.md b/docs/type_system/name.md
index 1f0c332..b329521 100644
--- a/docs/type_system/name.md
+++ b/docs/type_system/name.md
@@ -10,7 +10,7 @@ Name[[UNKNOWN | DATA_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE; IDENTIFIER]
 
 ```c
 typedef struct {
-    kpl_ptr type;
+    kpl_type *type;
     kpl_interface identifier;
 } kpl_type_body_name;
 ```
diff --git a/docs/type_system/op.md b/docs/type_system/op.md
index f9b2173..f5b935a 100644
--- a/docs/type_system/op.md
+++ b/docs/type_system/op.md
@@ -12,5 +12,5 @@ Op[[OP_NAME] RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE]
 
 ```c
 typedef struct {
-    kpl_ptr return_type, statement_left, statement_right;
+    kpl_type *return_type, *statement_left, *statement_right;
 } kpl_type_body_op;
diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md
index bc083e2..467d898 100644
--- a/docs/type_system/overload.md
+++ b/docs/type_system/overload.md
@@ -12,7 +12,7 @@ Overload[[] Collection[VAR_LIST; Function[]]]
 
 ```c
 typedef struct {
-    kpl_ptr var_list;
+    kpl_type *var_list;
 } kpl_type_body_overload;
 ```
 
diff --git a/docs/type_system/select.md b/docs/type_system/select.md
index e68fc32..85528e0 100644
--- a/docs/type_system/select.md
+++ b/docs/type_system/select.md
@@ -12,7 +12,7 @@ Select[[SINGLE | MULTIPLE] Type; Collection[VAR_TREE_LIST; .symbol : %const Valu
 
 ```c
 typedef struct {
-    kpl_ptr var_tree, var_list;
+    kpl_type *var_tree, *var_list;
 } kpl_type_body_select;
 ```
 
diff --git a/docs/type_system/symbol.md b/docs/type_system/symbol.md
index ae5595f..da8faa7 100644
--- a/docs/type_system/symbol.md
+++ b/docs/type_system/symbol.md
@@ -10,7 +10,7 @@ Symbol[[] TYPE; TARGET; IDENTIFIER]
 
 ```c
 typedef struct {
-    kpl_ptr type, target;
+    kpl_type *type, *target;
     kpl_identifier identifier;
 } kpl_type_body_symbol;
 ```
diff --git a/docs/type_system/task.md b/docs/type_system/task.md
index ae547b2..56d232c 100644
--- a/docs/type_system/task.md
+++ b/docs/type_system/task.md
@@ -12,7 +12,7 @@ Task[[] TYPE]
 
 ```c
 typedef struct {
-    kpl_ptr type;
+    kpl_type *type;
     kpl_interface *interface;
 } kpl_type_body_task;
 ```
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index 1bc84da..26429f1 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -10,7 +10,7 @@ Union[TAG | TRANSIENT] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 
 ```c
 typedef struct {
-    kpl_ptr var_tree, var_list;
+    kpl_type *var_tree, *var_list;
 } kpl_type_body_union;
 ```
 
diff --git a/docs/type_system/value.md b/docs/type_system/value.md
index 19b150a..5f50794 100644
--- a/docs/type_system/value.md
+++ b/docs/type_system/value.md
@@ -3,15 +3,14 @@
 ---
 
 ```text
-Value[[] TYPE; ID; KPL_CLASS]
+Value[[] TYPE; KPL_CLASS]
 ```
 
 ## Type Body Object Definitions
 
 ```c
 typedef struct {
-    kpl_ptr type;
-    int32_t id;
+    kpl_type *type;
     kpl_class *class;
 } kpl_type_body_value;
 ```
diff --git a/docs/type_system/var.md b/docs/type_system/var.md
index 1a5119f..8af2da5 100644
--- a/docs/type_system/var.md
+++ b/docs/type_system/var.md
@@ -3,15 +3,14 @@
 ---
 
 ```text
-Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; TREE_WEIGHT; IDENTIFIER]
+Var[[SYMBOL | SCOPE | ARG | LOCAL | LOOP | IF | MATCH | MUTATE] TYPE; LEFT_VAR; RIGHT_VAR; IDENTIFIER]
 ```
 
 ## Type Body Object Definition
 
 ```c
 typedef struct {
-    kpl_ptr type, tree_left, tree_right;
-    uint32_t tree_weight;
+    kpl_type *type, *tree_left, *tree_right;
     kpl_identifier identifier;
 } kpl_type_body_var;
 ```