diff --git a/crates/kind-checker/Cargo.toml b/crates/kind-checker/Cargo.toml
index b326e6fb..3310a5e3 100644
--- a/crates/kind-checker/Cargo.toml
+++ b/crates/kind-checker/Cargo.toml
@@ -3,14 +3,14 @@ description = "Type checker for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-checker"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 hvm = "1.0.9"
 
diff --git a/crates/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml
index 926a2d2c..fe20b51c 100644
--- a/crates/kind-cli/Cargo.toml
+++ b/crates/kind-cli/Cargo.toml
@@ -5,7 +5,7 @@ keywords = ["functional", "language", "type-theory", "proof-assistant"]
 license = "MIT"
 name = "kind2"
 repository = "https://github.com/Kindelia/Kind2"
-version = "0.3.10"
+version = "0.3.11"
 
 [[bin]]
 name = "kind2"
@@ -14,10 +14,10 @@ path = "src/main.rs"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-checker = {path = "../kind-checker", version = "0.1.3"}
-kind-driver = {path = "../kind-driver", version = "0.1.3"}
-kind-query = {path = "../kind-query", version = "0.1.3"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
+kind-checker = {path = "../kind-checker", version = "0.1.4"}
+kind-driver = {path = "../kind-driver", version = "0.1.4"}
+kind-query = {path = "../kind-query", version = "0.1.4"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
 
 anyhow = "1.0.66"
 clap = {version = "4.0.10", features = ["derive"]}
diff --git a/crates/kind-derive/Cargo.toml b/crates/kind-derive/Cargo.toml
index 9ca1eac4..a088608d 100644
--- a/crates/kind-derive/Cargo.toml
+++ b/crates/kind-derive/Cargo.toml
@@ -3,13 +3,13 @@ description = "Derive generator the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-derive"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
 fxhash = "0.2.1"
 im-rc = "15.1.0"
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
diff --git a/crates/kind-driver/Cargo.toml b/crates/kind-driver/Cargo.toml
index 1bf5b1bc..e62290f7 100644
--- a/crates/kind-driver/Cargo.toml
+++ b/crates/kind-driver/Cargo.toml
@@ -3,17 +3,17 @@ description = "Driver for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-driver"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-checker = {path = "../kind-checker", version = "0.1.3"}
-kind-parser = {path = "../kind-parser", version = "0.1.3"}
-kind-pass = {path = "../kind-pass", version = "0.1.3"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-checker = {path = "../kind-checker", version = "0.1.4"}
+kind-parser = {path = "../kind-parser", version = "0.1.4"}
+kind-pass = {path = "../kind-pass", version = "0.1.4"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.0"}
 kind-target-kdl = {path = "../kind-target-kdl", version = "0.1.0"}
diff --git a/crates/kind-parser/Cargo.toml b/crates/kind-parser/Cargo.toml
index 5e0c9c23..300e43e2 100644
--- a/crates/kind-parser/Cargo.toml
+++ b/crates/kind-parser/Cargo.toml
@@ -3,13 +3,13 @@ description = "Parser for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-parser"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 fxhash = "0.2.1"
diff --git a/crates/kind-pass/Cargo.toml b/crates/kind-pass/Cargo.toml
index e7204a5d..a1ad8749 100644
--- a/crates/kind-pass/Cargo.toml
+++ b/crates/kind-pass/Cargo.toml
@@ -3,15 +3,15 @@ description = "A lot of compiler passes for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-pass"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-derive = {path = "../kind-derive", version = "0.1.3"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-derive = {path = "../kind-derive", version = "0.1.4"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 anyhow = "1.0.66"
 fxhash = "0.2.1"
diff --git a/crates/kind-query/Cargo.toml b/crates/kind-query/Cargo.toml
index 3ecf66ba..db9e3b6c 100644
--- a/crates/kind-query/Cargo.toml
+++ b/crates/kind-query/Cargo.toml
@@ -3,18 +3,18 @@ description = "Query module for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-query"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-checker = {path = "../kind-checker", version = "0.1.3"}
-kind-parser = {path = "../kind-parser", version = "0.1.3"}
-kind-pass = {path = "../kind-pass", version = "0.1.3"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-checker = {path = "../kind-checker", version = "0.1.4"}
+kind-parser = {path = "../kind-parser", version = "0.1.4"}
+kind-pass = {path = "../kind-pass", version = "0.1.4"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 fxhash = "0.2.1"
 pathdiff = "0.2.1"
diff --git a/crates/kind-report/Cargo.toml b/crates/kind-report/Cargo.toml
index 3804a04e..b098cb9a 100644
--- a/crates/kind-report/Cargo.toml
+++ b/crates/kind-report/Cargo.toml
@@ -3,12 +3,12 @@ description = "Report module for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-report"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-span = {path = "../kind-span", version = "0.1.3"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
 
 fxhash = "0.2.1"
 pathdiff = "0.2.1"
diff --git a/crates/kind-span/Cargo.toml b/crates/kind-span/Cargo.toml
index 7890ba39..e2992d89 100644
--- a/crates/kind-span/Cargo.toml
+++ b/crates/kind-span/Cargo.toml
@@ -3,7 +3,7 @@ description = "Describes locations for the Kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-span"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
diff --git a/crates/kind-target-hvm/Cargo.toml b/crates/kind-target-hvm/Cargo.toml
index 8e14d7d5..1da57c0e 100644
--- a/crates/kind-target-hvm/Cargo.toml
+++ b/crates/kind-target-hvm/Cargo.toml
@@ -3,14 +3,14 @@ description = "HVM Code generator for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-target-hvm"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-derive = {path = "../kind-derive", version = "0.1.3"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-derive = {path = "../kind-derive", version = "0.1.4"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 hvm = "1.0.9"
diff --git a/crates/kind-target-kdl/Cargo.toml b/crates/kind-target-kdl/Cargo.toml
index 92bd9399..e3f42cac 100644
--- a/crates/kind-target-kdl/Cargo.toml
+++ b/crates/kind-target-kdl/Cargo.toml
@@ -3,15 +3,15 @@ description = "KDL target for the kind compiler"
 edition = "2021"
 license = "MIT"
 name = "kind-target-kdl"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-derive = {path = "../kind-derive", version = "0.1.3"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-derive = {path = "../kind-derive", version = "0.1.4"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 fxhash = "0.2.1"
 im-rc = "15.1.0"
diff --git a/crates/kind-tests/Cargo.toml b/crates/kind-tests/Cargo.toml
index 7f2ea2a7..8962bb52 100644
--- a/crates/kind-tests/Cargo.toml
+++ b/crates/kind-tests/Cargo.toml
@@ -2,18 +2,18 @@
 edition = "2021"
 license = "MIT"
 name = "kind-tests"
-version = "0.1.3"
+version = "0.1.4"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dev-dependencies]
 kind-checker = {path = "../kind-checker"}
 kind-driver = {path = "../kind-driver"}
-kind-parser = {path = "../kind-parser", version = "0.1.3"}
+kind-parser = {path = "../kind-parser", version = "0.1.4"}
 kind-pass = {path = "../kind-pass"}
-kind-report = {path = "../kind-report", version = "0.1.3"}
-kind-span = {path = "../kind-span", version = "0.1.3"}
-kind-tree = {path = "../kind-tree", version = "0.1.3"}
+kind-report = {path = "../kind-report", version = "0.1.4"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
+kind-tree = {path = "../kind-tree", version = "0.1.4"}
 
 kind-target-hvm = {path = "../kind-target-hvm"}
 kind-target-kdl = {path = "../kind-target-kdl"}
diff --git a/crates/kind-tree/Cargo.toml b/crates/kind-tree/Cargo.toml
index b55f9462..bc9972f4 100644
--- a/crates/kind-tree/Cargo.toml
+++ b/crates/kind-tree/Cargo.toml
@@ -2,7 +2,7 @@
 edition = "2021"
 license = "MIT"
 name = "kind-tree"
-version = "0.1.3"
+version = "0.1.4"
 
 description = "Syntatic trees for Kind compiler"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
@@ -11,5 +11,5 @@ description = "Syntatic trees for Kind compiler"
 hvm = "1.0.9"
 
 fxhash = "0.2.1"
-kind-span = {path = "../kind-span", version = "0.1.3"}
+kind-span = {path = "../kind-span", version = "0.1.4"}
 linked-hash-map = "0.5.6"