type body object definitions and garbage collection algoHEADmain

1 files changed, 9 insertions, 1 deletions

diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index 0c90515..cbd7f84 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -3,5 +3,13 @@
 ---
 
 ```text
-List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] Parent; VAR_TREE_LIST; TARGET; STATEMENTS ...]
+List[[ROOT | STATEMENT | DEFINE | ACTION | LOOP | IF | MATCH | MUTATION] PARENT; TARGET; VAR_TREE; Collection[LIST; TYPE]]
+```
+
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr parent, target, var_tree, statement_list;
+} kpl_type_body_list;
 ```