5 files changed, 12 insertions, 12 deletions
diff --git a/docs/type_system/const.md b/docs/type_system/const.md
index cb9cd74..2d818de 100644
--- a/docs/type_system/const.md
+++ b/docs/type_system/const.md
@@ -5,5 +5,5 @@
 Cannot be changed or mutated
 
 ```text
-Const[[] TYPE]
+`const
 ```
diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
index 09869d6..08b0977 100644
--- a/docs/type_system/empty.md
+++ b/docs/type_system/empty.md
@@ -5,7 +5,7 @@
 Container type can be null
 
 ```text
-Empty[[] TYPE]
+`empty
 ```
 
 ## Use with `Option` Union
@@ -17,7 +17,7 @@ make_array : ([yes]
         `nome
     }
 )
-v : make_array(...) // Empty[Array[I64]] $ .none OR Empty[Array[I64]] $ (.some : (1; 2; 3))
+v : make_array(...) // `empty Array[I64] $ .none OR `empty Array[I64] $ (.some : (1; 2; 3))
 # v {
     .some {[x] `log x } // Array[I64] $ (1; 2; 3)
     .none { ... }
diff --git a/docs/type_system/ref.md b/docs/type_system/ref.md
index a856e72..e47367f 100644
--- a/docs/type_system/ref.md
+++ b/docs/type_system/ref.md
@@ -3,7 +3,7 @@
 ---
 
 ```text
-Ref[[] TYPE]
+`ref
 ```
 
 A reference, cannot be assigned
diff --git a/docs/type_system/select.md b/docs/type_system/select.md
index b2f8f61..979e9d1 100644
--- a/docs/type_system/select.md
+++ b/docs/type_system/select.md
@@ -5,15 +5,15 @@
 A symbol associated with a type
 
 ```text
-Select[[SINGLE | MULTIPLE] Type; Collection[.symbol : Const[Value]]]
+Select[[SINGLE | MULTIPLE] Type; Collection[.symbol : `const Value]]
 ```
 
 # Alias
 
 ```text
-Enum[Generic.T; Collection[.symbol : Const[Value]]] `alias Select[[SINGLE]; Generic.T; Collection[.symbol : Const[Value]]]
+Enum[Generic.T; Collection[.symbol : `const Value]] `alias Select[[SINGLE]; Generic.T; Collection[.symbol : `const Value]]
 
-Mask[Generic.T; Collection[.symbol : Const[Value]]] `alias Select[[MULTIPLE]; Generic.T; Collection[.symbol : Const[Value]]]
+Mask[Generic.T; Collection[.symbol : `const Value]] `alias Select[[MULTIPLE]; Generic.T; Collection[.symbol : `const Value]]
 ```
 
 ## Definition Example
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index d1d3f07..9ddef26 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -5,7 +5,7 @@
 Hold multiple references to the same object
 
 ```text
-Shared[[] Type]
+`shared
 ```
 
 # Garbage Collection
@@ -15,11 +15,11 @@ A tracing mark and sweep garbage collector is used
 # Mutating
 
 ```text
-x : Shared[Array] $ (1; 2; 3)
+x : `shared Array $ (1; 2; 3)
 ^ x {[y]
     y `push 4
 }
-`log x // Shared[Array[I64]] $ (1; 2; 3; 4)
+`log x // `shared Array[I64] $ (1; 2; 3; 4)
 ```
 
 # Operators
@@ -31,8 +31,8 @@ x : Shared[Array] $ (1; 2; 3)
 ### Example sharing data between two shared objects
 
 ```text
-x : Shared $ 1
-y : Shared $ 0
+x : `shared 1
+y : `shared 0
 
 z : ^ x {[x] x }
 ^ y {[y] y : z }