type body object definitions and garbage collection algoHEADmain

1 files changed, 10 insertions, 1 deletions

diff --git a/docs/type_system/name.md b/docs/type_system/name.md
index 27bb784..1f0c332 100644
--- a/docs/type_system/name.md
+++ b/docs/type_system/name.md
@@ -3,5 +3,14 @@
 ---
 
 ```text
-Name[[UNKNOWN | IS_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE; IDENTIFIER]
+Name[[UNKNOWN | DATA_TYPE | ALIAS_TYPE | UNIQUE_TYPE] TYPE; IDENTIFIER]
+```
+
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr type;
+    kpl_interface identifier;
+} kpl_type_body_name;
 ```