add name to application

15 files changed, 25 insertions, 22 deletions

diff --git a/docs/type_system/bit.md b/docs/type_system/bit.md
index e07c804..18ac6a8 100644
--- a/docs/type_system/bit.md
+++ b/docs/type_system/bit.md
@@ -5,9 +5,9 @@
 A sequence of bits that can fit into a general register
 
 ```text
-Bit_size `alias Enum[.bit_any; .bit8; .bit16; .bit32; .bit64]
+Bit_size `alias Enum[Void; .bit_any; .bit8; .bit16; .bit32; .bit64]
 
-Bit_representation `alias Enum[
+Bit_representation `alias Enum[Void
     .numeric; .int; .int_unsiged; .int_signed; .float
     .utf8; .utf16; .utf32
     .bool
diff --git a/docs/type_system/buffer.md b/docs/type_system/buffer.md
index 942bcb1..7e21a21 100644
--- a/docs/type_system/buffer.md
+++ b/docs/type_system/buffer.md
@@ -5,7 +5,7 @@
 An sequence of bytes with unknown size and a byte representation
 
 ```text
-Buffer_repesentation: Enum[.type; .utf8; .utf16; .utf32]
+Buffer_repesentation: Enum[Void; .type; .utf8; .utf16; .utf32]
 
 Buffer[Buffer_repesentation; TYPE]
 ```
diff --git a/docs/type_system/enum.md b/docs/type_system/enum.md
index 4762389..6b06849 100644
--- a/docs/type_system/enum.md
+++ b/docs/type_system/enum.md
@@ -5,9 +5,12 @@
 A symbol associated with a type
 
 ```text
-Enum[Collection[.symbol]] // Resoves to Enum[Void; ...]
+Enum[TYPE; Collection[.symbol : Const[Value]]]
+```
 
-Enum[TYPE; Collection[.symbol]]
+## Definition Example
 
-Enum[TYPE; Collection[.symbol : VALUE]]
+```text
+E : Enum[I64; .a; .b; .c]
+`log E Enum[I64; .a : 0; .b : 1; .c : 2]
 ```
diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index ebd14ea..cd25254 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -3,20 +3,20 @@
 ---
 
 ```text
-Function_class `alias Enum[
+Function_class `alias Enum[Void
     .unknown; .incomplete; .native
     .task; process; .generator; .iterator; .closure;
     .bound;
     .regex
 ]
 
-Function[Function_class; RETURN_TYPE; Collection[TYPE.SYMBOL]; STATE; List]
+Function[Function_class; STATE; List; RETURN_TYPE; Collection[TYPE.SYMBOL]]
 ```
 
 # Alias
 
 ```text
-Fn[Generic.T; Collection[TYPE.SYMBOL]] `alias Function[Any; Generic.T; Collection[TYPE.SYMBOL]; STATE; List]
+Fn[Generic.T; Collection[TYPE.SYMBOL]] `alias Function[Any; STATE; List; Generic.T; Collection[TYPE.SYMBOL]]
 ```
 
 # Inline Definition
diff --git a/docs/type_system/group.md b/docs/type_system/group.md
index 45e7dcb..f54de6d 100644
--- a/docs/type_system/group.md
+++ b/docs/type_system/group.md
@@ -5,7 +5,7 @@
 A sequence of different types accessed by index or a symbol mapped to an index
 
 ```text
-Group_access `alias Enum[.index; .symbol]
+Group_access `alias Enum[Void; .index; .symbol]
 Group[Tuple_access; Collection[TYPE.SYMBOL]]
 ```
 
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 2d39963..8aadc98 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -30,7 +30,7 @@ Generic for alias and unique types, type is replaced with type passed
 
 A list of types with shape of TYPE, only can have one collection per type
 
-This represents a spread after a type field
+If using a collection the Collection[TYPE] must be the last type on the templates type list
 
 ### Void
 
diff --git a/docs/type_system/list.md b/docs/type_system/list.md
index ae93f1f..618c531 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-List_class `alias Enum[.statement; .define; .action; .loop; .if; .match; .mutation]
+List_class `alias Enum[Void; .statement; .define; .action; .loop; .if; .match; .mutation]
 
 List[List_class; Parent; SCOPE; TARGET; STATEMENTS ...]
 ```
diff --git a/docs/type_system/name.md b/docs/type_system/name.md
index 343232b..9d24f65 100644
--- a/docs/type_system/name.md
+++ b/docs/type_system/name.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Name_class `alias Enum[.unknown; .data; .alias; .unique]
+Name_class `alias Enum[Void; .unknown; .data; .alias; .unique]
 
-Name[Name_class; TYPE]
+Name[Name_class; TYPE; NAME_IDENTIFIER]
 ```
diff --git a/docs/type_system/namespace.md b/docs/type_system/namespace.md
index e5b0020..68a84b6 100644
--- a/docs/type_system/namespace.md
+++ b/docs/type_system/namespace.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Namespace_class `alias Enum[.native; .file]
+Namespace_class `alias Enum[Void; .native; .file]
 Namespace[Namespace_class; EXPORTS; PROCESS]
 ```
 
diff --git a/docs/type_system/op.md b/docs/type_system/op.md
index e17868b..6280cc9 100644
--- a/docs/type_system/op.md
+++ b/docs/type_system/op.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Op_class `alias Enum[.loop; .if; .match; .mutation; .selection; ...]
+Op_class `alias Enum[Void; .loop; .if; .match; .mutation; .selection; ...]
 
 Op[Op_class; RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE]
 ```
diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md
index 9fd839e..341a533 100644
--- a/docs/type_system/overload.md
+++ b/docs/type_system/overload.md
@@ -5,7 +5,7 @@
 List of complete functions, selected by signature
 
 ```text
-Overload[Collection[FNS]]
+Overload[Collection[Function[]]]
 ```
 
 ## Example
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index 82a70d7..dd46afa 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Shared_collector `alias Enum[.unknown; .counting; .tracing]
+Shared_collector `alias Enum[Void; .unknown; .counting; .tracing]
 
 Shared[Shared_collector; TYPE]
 
diff --git a/docs/type_system/symbol.md b/docs/type_system/symbol.md
index 26b2521..cb0fc11 100644
--- a/docs/type_system/symbol.md
+++ b/docs/type_system/symbol.md
@@ -3,5 +3,5 @@
 ---
 
 ```text
-Symbol[TYPE]
+Symbol[TARGET; TYPE; NAME_IDENTIFIER]
 ```
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index 79c4987..2c985e0 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Union_class `alias Enum[.container; .transient]
+Union_class `alias Enum[Void; .container; .transient]
 
 Union[Union_class; Collection[TYPE.SYMBOL]]
 ```
diff --git a/docs/type_system/var.md b/docs/type_system/var.md
index 62a7331..12ceace 100644
--- a/docs/type_system/var.md
+++ b/docs/type_system/var.md
@@ -5,7 +5,7 @@
 A unique identifier
 
 ```text
-Var_class `alias Enum[.arg; .local; .loop; .match]
+Var_class `alias Enum[Void; .arg; .local; .loop; .match]
 
-Var[Var_class; TYPE; IDENTIFIER]
+Var[Var_class; TYPE; SCOPE; VAR_IDENTIFIER]
 ```