add action and remove assigment from namespace

7 files changed, 28 insertions, 13 deletions

diff --git a/docs/type_system/action.md b/docs/type_system/action.md
new file mode 100644
index 0000000..2917b69
--- /dev/null
+++ b/docs/type_system/action.md
@@ -0,0 +1,9 @@
+# Action
+
+---
+
+```text
+Action_class `alias Enum[.unknown; .loop; .if; .match; .mutation]
+
+Action[Action_class; SCOPE; Parent; TARGET; ARGS; STATEMENTS ...]
+```
diff --git a/docs/type_system/buffer.md b/docs/type_system/buffer.md
index c7c0354..256cb40 100644
--- a/docs/type_system/buffer.md
+++ b/docs/type_system/buffer.md
@@ -15,7 +15,7 @@ Buffer[Buffer_repesentation; TYPE]
 ```text
 String `alias Buffer[.utf8; Void]
 
-Array[Any] `alias Buffer[.type; Any]
+Array[Generic.T] `alias Buffer[.type; Generic.T]
 ```
 
 # Operators
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 59cf118..bf5870a 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -16,7 +16,7 @@ Template[Field; ...]
 
 If a field in a template is not filed, one of these are required:
 
-##### Any
+### Any
 
 Denotes a field in a template that has not resolved
 
@@ -26,11 +26,15 @@ A template by name only expands to all inner fields as `Any`
 Int -> Int[Any; Any; Any]
 ```
 
-##### Is[TYPE; ...]
+### Is[TYPE; ...]
 
 Denotes the type is one of the specified types in the list
 
-##### Void
+### Generic.SYMBOL
+
+Generic for alias and unique types, type is replaced with type passed
+
+### Void
 
 Denotes that a field that does not resolve to anything
 
@@ -90,4 +94,6 @@ Denotes that a field that does not resolve to anything
 
 * #### [List](./list.md)
 
+* #### [Action](./action.md)
+
 * #### [Namespace](./namespace.md)
diff --git a/docs/type_system/map.md b/docs/type_system/map.md
index feaf853..4947842 100644
--- a/docs/type_system/map.md
+++ b/docs/type_system/map.md
@@ -9,7 +9,7 @@ Map[KEY_TYPE; VALUE_TYPE]
 # Alias
 
 ```text
-Set[Any] `alias Map[Any; Void]
+Set[Generic.T] `alias Map[Generic.T; Void]
 ```
 
 # Operators
diff --git a/docs/type_system/namespace.md b/docs/type_system/namespace.md
index f38e8ab..f6b8b1c 100644
--- a/docs/type_system/namespace.md
+++ b/docs/type_system/namespace.md
@@ -20,13 +20,13 @@ A file with code
 ### \`import
 
 ```text
-Namespace : `import Value[String]
+Namespace `import Value[String]
 ```
 
 ### \`use
 
 ```text
-Namespace : `use Value[String]
+Namespace `use Value[String]
 ```
 
 ## Main
diff --git a/docs/type_system/op.md b/docs/type_system/op.md
index 5dd9f74..e17868b 100644
--- a/docs/type_system/op.md
+++ b/docs/type_system/op.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Op_class : Enum[.loop; .if; .match; .mutation; .selection; ...]
+Op_class `alias Enum[.loop; .if; .match; .mutation; .selection; ...]
 
 Op[Op_class; RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE]
 ```
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index 5bd3d10..2c4be2d 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -28,15 +28,15 @@ Can only be retuned from functions and operations. The inner value must be moved
 ## Alias
 
 ```text
-Result[ANY] `alias Union[.transient; ANY.value; Error.error]
+Result[Generic.T] `alias Union[.transient; Generic.T.value; Error.error]
 
-Option[ANY] `alias Union[.transient; ANY.some; Void.none]
+Option[Generic.T] `alias Union[.transient; Generic.T.some; Void.none]
 
-Next[Any] `alias Union[.transient; ANY.iter; Void.done]
+Next[Generic.T] `alias Union[.transient; Generic.T.iter; Void.done]
 
-Next_result[Any] `alias Union[.transient; ANY.value; Error.error; Void.done]
+Next_result[Generic.T] `alias Union[.transient; Generic.T.value; Error.error; Void.done]
 
-Next_option[Any] `alias Union[.transient; ANY.some; Void.none; Void.done]
+Next_option[Generic.T] `alias Union[.transient; Generic.T.some; Void.none; Void.done]
 ```
 
 ## Default Operation