specify type representation

1 files changed, 19 insertions, 3 deletions

diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 3601459..ae574d9 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -6,12 +6,28 @@
 
 ---
 
+# Representation
+
+```text
+TEMPLATE[[MODIFIERS] DEFINES...;...]
+```
+
+## Modifiers
+
+A modifier is an internal setting (a bit mask or single value), cannot be set by a user
+
+Each template below has its own modifiers
+
+## Defines
+
+User specified
+
 # Templates
 
 A template is an incomplete type
 
 ```text
-Template[Field; ...]
+Template[[] Field; ...]
 ```
 
 If a field in a template is not filed, one of these are required:
@@ -38,7 +54,7 @@ Denotes that a field that does not resolve to anything
 
 ## Value Templates
 
-* #### [Enum](./enum.md)
+* #### [Select](./select.md)
 
 * #### [Bit](./bit.md)
 
@@ -66,7 +82,7 @@ Denotes that a field that does not resolve to anything
 
 * #### [Ref](./ref.md)
 
-* #### [Gc](./gc.md)
+* #### [Shared](./shared.md)
 
 ## Function Templates