type body object definitions and garbage collection algoHEADmain

1 files changed, 10 insertions, 1 deletions

diff --git a/docs/type_system/symbol.md b/docs/type_system/symbol.md
index 3ce926e..ae5595f 100644
--- a/docs/type_system/symbol.md
+++ b/docs/type_system/symbol.md
@@ -3,5 +3,14 @@
 ---
 
 ```text
-Symbol[[] TARGET; TYPE; IDENTIFIER]
+Symbol[[] TYPE; TARGET; IDENTIFIER]
+```
+
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr type, target;
+    kpl_identifier identifier;
+} kpl_type_body_symbol;
 ```