remove action from ast

5 files changed, 21 insertions, 27 deletions

diff --git a/docs/type_system/action.md b/docs/type_system/action.md
deleted file mode 100644
index 2917b69..0000000
--- a/docs/type_system/action.md
+++ /dev/null
@@ -1,9 +0,0 @@
-# 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/index.md b/docs/type_system/index.md
index bf5870a..36d1142 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -22,15 +22,7 @@ Denotes a field in a template that has not resolved
 
 A template by name only expands to all inner fields as `Any`
 
-```text
-Int -> Int[Any; Any; Any]
-```
-
-### Is[TYPE; ...]
-
-Denotes the type is one of the specified types in the list
-
-### Generic.SYMBOL
+## Generic.SYMBOL
 
 Generic for alias and unique types, type is replaced with type passed
 
@@ -94,6 +86,4 @@ 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/list.md b/docs/type_system/list.md
index 149d4de..ae93f1f 100644
--- a/docs/type_system/list.md
+++ b/docs/type_system/list.md
@@ -2,8 +2,8 @@
 
 ---
 
-A "List" of statements
-
 ```text
-List[SCOPE; Parent; STATEMENTS ...]
+List_class `alias Enum[.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 d506201..343232b 100644
--- a/docs/type_system/name.md
+++ b/docs/type_system/name.md
@@ -5,5 +5,5 @@
 ```text
 Name_class `alias Enum[.unknown; .data; .alias; .unique]
 
-Name[Name_class; Is[Void; Value; Var]]
+Name[Name_class; TYPE]
 ```
diff --git a/docs/type_system/namespace.md b/docs/type_system/namespace.md
index f6b8b1c..e5b0020 100644
--- a/docs/type_system/namespace.md
+++ b/docs/type_system/namespace.md
@@ -13,20 +13,33 @@ A file with code
 
 ### \`export
 
-##### Type must be Fn, Overload, Const or Shared to export
+#### Type must be Fn, Overload, Const or Shared to export
+
+#### Re-exporting
 
 ## Imports
 
 ### \`import
 
 ```text
-Namespace `import Value[String]
+namespace : `import Value[String]
 ```
 
+All imports are relative to the importer
+
 ### \`use
 
 ```text
-Namespace `use Value[String]
+namespace : `use Value[String]
+```
+
+## Namespace destructuring
+
+```text
+namespace : `use Value[String]
+namespace[scope_name.namespace_name]
+namespcae[name] // resolves to namespace[name.name]
+`use Value[String] [name]
 ```
 
 ## Main