add enums

1 files changed, 26 insertions, 0 deletions

diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 79371d0..3b67475 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -5,3 +5,29 @@
 # Templates
 
 A template is an incomplete type
+
+## Template Fields
+
+If a field in a template is not filed, one of these are required:
+
+##### Any
+
+Denotes a field in a template that has not resolved
+
+##### Void
+
+Denotes that a field that does not resolve to anything
+
+## Defined Templates
+
+* #### [Enum](./enum.md)
+
+# Alias
+
+A type based on a complete template that is interchangeable with what it is based on
+
+## Defined Alias
+
+# Unique
+
+A type based on a complete template that is not interchangeable with what it is based on