update action syntax and start application

4 files changed, 12 insertions, 12 deletions

diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md
index 28fe437..5a723f6 100644
--- a/docs/type_system/fn.md
+++ b/docs/type_system/fn.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Fn_class `alias Enum[.unknown; .incomplete; .process; .generator; .iterator; .closure; .bound; .regex; .native]
+Fn_class `alias Enum[.unknown; .incomplete; .native; process; .generator; .iterator; .closure; .bound; .regex]
 
 Fn[Fn_class; RETURN_TYPE; Tuple[ARGS]; STATE; List]
 ```
@@ -18,6 +18,10 @@ Placeholder before evaluation
 
 A function with an incomplete type, type checking occurs at invocation
 
+## Native
+
+Native function wrapper
+
 ## Process
 
 A list of tasks with state
@@ -42,10 +46,6 @@ A function with some arguments already set
 
 Regular Expression
 
-## Native
-
-Native function wrapper
-
 # Returning
 
 ## \`return
@@ -61,14 +61,14 @@ Yielding wraps the value in the transient union `Next`
 Return `Void` to stop iteration
 
 ```text
-fn : Fn[n] $ ( @ 1 < n { `yield 2 * x; n +: 1 }[x] )
+fn : Fn[n] $ ( @ 1 < n {[x] `yield 2 * x; n +: 1 } )
 it : fn `call 10
 // invoking
-@ it { `log v }[v] // 2 4 6 8 10 12 14 16 18 20
+@ it {[v] `log v } // 2 4 6 8 10 12 14 16 18 20
 // same as above
 @ {
     # `call it {
-        .value { `log v }[v]
+        .value {[v] `log v }
         .done { `break }
     }
 }
diff --git a/docs/type_system/namespace.md b/docs/type_system/namespace.md
index 52c3aee..44483bc 100644
--- a/docs/type_system/namespace.md
+++ b/docs/type_system/namespace.md
@@ -4,7 +4,7 @@
 
 ```text
 Namespace_class `alias Enum[.native; .file]
-Namespace[Namespace_class; EXPORTS]
+Namespace[Namespace_class; EXPORTS; PROCESS]
 ```
 
 A file with code
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index 54c9dc5..84366ab 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -28,8 +28,8 @@ Counting or tracing will determined later on
 
 ```text
 x : Shared[Vector] $ (1; 2; 3)
-^ x {
+^ x {[y]
     y `push 4
-}[y]
+}
 `log x // Shared[.counting; Vector[I64]] $ (1; 2; 3; 4)
 ```
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index d14a7bc..5bd3d10 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -12,7 +12,7 @@ Union[Union_class; TYPE.symbol; ...]
 u : Union[I64.a; I64.b; I64.c] $ (.c : 5) // defaults to Union[.container; ...]
 
 # u {
-    .c { c ... }[c]
+    .c {[c] c ... }
     { ... } // default
 }
 ```