reduce number of types

1 files changed, 11 insertions, 21 deletions

diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 8ef6b83..4cc3586 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -1,7 +1,13 @@
-# Templates
+# Types
+
+* #### [Alias](./alias.md)
+
+* #### [Unique](./unique.md)
 
 ---
 
+# Templates
+
 A template is an incomplete type
 
 ```text
@@ -40,18 +46,10 @@ Denotes that a field that does not resolve to anything
 
 * #### [Tuple](./tuple.md)
 
-* #### [Table](./table.md)
-
 * #### [Buffer](./buffer.md)
 
-* #### [Array](./array.md)
-
-* #### [Vector](./vector.md)
-
 * #### [Map](./map.md)
 
-* #### [Set](./set.md)
-
 * #### [Queue](./queue.md)
 
 * #### [Union](./union.md)
@@ -62,32 +60,24 @@ Denotes that a field that does not resolve to anything
 
 ## Function Templates
 
+* #### [Regex](./regex.md)
+
 * #### [Var](./var.md)
 
 * #### [Fn](./fn.md)
 
-* #### [State](./state.md)
-
-* #### [Regex](./regex.md)
+* #### [Overload](./overload.md)
 
 ## AST Templates
 
-* #### [Namespace](./namespace.md)
-
-* #### [Token](./token.md)
-
 * #### [Value](./value.md)
 
-* #### [Clause](./clause.md)
-
 * #### [Name](./name.md)
 
-* #### [Define](./define.md)
-
 * #### [Symbol](./symbol.md)
 
 * #### [Op](./op.md)
 
 * #### [List](./list.md)
 
-* #### [Action](./action.md)
+* #### [Namespace](./namespace.md)