From ca458bfcd65c3a094fd0721cb5cd9f74dee5f845 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Mon, 8 Jun 2026 16:17:14 -0400
Subject: remove action from ast

---
 docs/type_system/action.md    |  9 ---------
 docs/type_system/index.md     | 12 +-----------
 docs/type_system/list.md      |  6 +++---
 docs/type_system/name.md      |  2 +-
 docs/type_system/namespace.md | 19 ++++++++++++++++---
 5 files changed, 21 insertions(+), 27 deletions(-)
 delete mode 100644 docs/type_system/action.md

(limited to 'docs/type_system')

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
-- 
cgit v1.2.3