diff --git a/crates/kind-checker/Cargo.toml b/crates/kind-checker/Cargo.toml
index 429c97ec..326e4fc8 100644
--- a/crates/kind-checker/Cargo.toml
+++ b/crates/kind-checker/Cargo.toml
@@ -1,18 +1,18 @@
 [package]
-name = "kind-checker"
-version = "0.1.1"
+description = "Type checker for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Type checker for the kind compiler"
+name = "kind-checker"
+version = "0.1.2"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-span = { path = "../kind-span", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
 hvm = "1.0.6"
 
 fxhash = "0.2.1"
-im-rc = "15.1.0"
\ No newline at end of file
+im-rc = "15.1.0"
diff --git a/crates/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml
index 95a681ca..3a671968 100644
--- a/crates/kind-cli/Cargo.toml
+++ b/crates/kind-cli/Cargo.toml
@@ -1,11 +1,11 @@
 [package]
-name = "kind2"
-version = "0.3.7"
-edition = "2021"
 description = "A pure functional functional language that uses the HVM."
-repository = "https://github.com/Kindelia/Kind2"
-license = "MIT"
+edition = "2021"
 keywords = ["functional", "language", "type-theory", "proof-assistant"]
+license = "MIT"
+name = "kind2"
+repository = "https://github.com/Kindelia/Kind2"
+version = "0.3.7"
 
 [[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-driver  = { path = "../kind-driver", version = "0.1.1"  }
-kind-report  = { path = "../kind-report", version = "0.1.1"  }
-kind-checker = { path = "../kind-checker", version = "0.1.1"  }
-kind-query = { path = "../kind-query", version = "0.1.1"  }
+kind-checker = {path = "../kind-checker", version = "0.1.2"}
+kind-driver = {path = "../kind-driver", version = "0.1.2"}
+kind-query = {path = "../kind-query", version = "0.1.2"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
 
-clap = { version = "4.0.10", features = ["derive"] }
-anyhow = "1.0.66"
\ No newline at end of file
+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 15c79385..e9246077 100644
--- a/crates/kind-derive/Cargo.toml
+++ b/crates/kind-derive/Cargo.toml
@@ -1,15 +1,15 @@
 [package]
-name = "kind-derive"
-version = "0.1.1"
+description = "Derive generator the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Derive generator the kind compiler"
+name = "kind-derive"
+version = "0.1.2"
 
 # 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.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
 fxhash = "0.2.1"
-im-rc = "15.1.0"
\ No newline at end of file
+im-rc = "15.1.0"
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
diff --git a/crates/kind-driver/Cargo.toml b/crates/kind-driver/Cargo.toml
index b30607f0..8832ba49 100644
--- a/crates/kind-driver/Cargo.toml
+++ b/crates/kind-driver/Cargo.toml
@@ -1,26 +1,26 @@
 [package]
-name = "kind-driver"
-version = "0.1.1"
+description = "Driver for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Driver for the kind compiler"
+name = "kind-driver"
+version = "0.1.2"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-parser = { path = "../kind-parser", version = "0.1.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-span = { path = "../kind-span", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
-kind-checker = { path = "../kind-checker", version = "0.1.1"  }
-kind-pass = { path = "../kind-pass", version = "0.1.1"  }
+kind-checker = {path = "../kind-checker", version = "0.1.2"}
+kind-parser = {path = "../kind-parser", version = "0.1.2"}
+kind-pass = {path = "../kind-pass", version = "0.1.2"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
-kind-target-hvm = { path = "../kind-target-hvm", version = "0.1.0" }
-kind-target-kdl = { path = "../kind-target-kdl", version = "0.1.0" }
+kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.0"}
+kind-target-kdl = {path = "../kind-target-kdl", version = "0.1.0"}
 
 hvm = "1.0.6"
 
 anyhow = "1.0.66"
-strsim = "0.10.0"
+dashmap = "5.4.0"
 fxhash = "0.2.1"
-dashmap = "5.4.0"
\ No newline at end of file
+strsim = "0.10.0"
diff --git a/crates/kind-parser/Cargo.toml b/crates/kind-parser/Cargo.toml
index 11e4a431..3be072b5 100644
--- a/crates/kind-parser/Cargo.toml
+++ b/crates/kind-parser/Cargo.toml
@@ -1,15 +1,15 @@
 [package]
-name = "kind-parser"
-version = "0.1.1"
+description = "Parser for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Parser for the kind compiler"
+name = "kind-parser"
+version = "0.1.2"
 
 # 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.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
-fxhash = "0.2.1"
\ No newline at end of file
+fxhash = "0.2.1"
diff --git a/crates/kind-pass/Cargo.toml b/crates/kind-pass/Cargo.toml
index c69db1f6..ae801477 100644
--- a/crates/kind-pass/Cargo.toml
+++ b/crates/kind-pass/Cargo.toml
@@ -1,19 +1,19 @@
 [package]
-name = "kind-pass"
-version = "0.1.1"
+description = "A lot of compiler passes for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "A lot of compiler passes for the kind compiler"
+name = "kind-pass"
+version = "0.1.2"
 
 # 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.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
-kind-derive = { path = "../kind-derive", version = "0.1.1"  }
+kind-derive = {path = "../kind-derive", version = "0.1.2"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
-linked-hash-map = "0.5.6"
+anyhow = "1.0.66"
 fxhash = "0.2.1"
 im-rc = "15.1.0"
-anyhow = "1.0.66"
\ No newline at end of file
+linked-hash-map = "0.5.6"
diff --git a/crates/kind-query/Cargo.toml b/crates/kind-query/Cargo.toml
index 5f610ea4..1b4921b0 100644
--- a/crates/kind-query/Cargo.toml
+++ b/crates/kind-query/Cargo.toml
@@ -1,20 +1,20 @@
 [package]
-name = "kind-query"
-version = "0.1.1"
+description = "Query module for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Query module for the kind compiler"
+name = "kind-query"
+version = "0.1.2"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-kind-parser = { path = "../kind-parser", version = "0.1.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-span = { path = "../kind-span", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
-kind-checker = { path = "../kind-checker", version = "0.1.1"  }
-kind-pass = { path = "../kind-pass", version = "0.1.1"  }
-kind-target-hvm = { path = "../kind-target-hvm", version = "0.1.1"  }
+kind-checker = {path = "../kind-checker", version = "0.1.2"}
+kind-parser = {path = "../kind-parser", version = "0.1.2"}
+kind-pass = {path = "../kind-pass", version = "0.1.2"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-target-hvm = {path = "../kind-target-hvm", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
 fxhash = "0.2.1"
-pathdiff = "0.2.1"
\ No newline at end of file
+pathdiff = "0.2.1"
diff --git a/crates/kind-report/Cargo.toml b/crates/kind-report/Cargo.toml
index 48ca771e..c2f4549a 100644
--- a/crates/kind-report/Cargo.toml
+++ b/crates/kind-report/Cargo.toml
@@ -1,17 +1,17 @@
 [package]
-name = "kind-report"
-version = "0.1.1"
+description = "Report module for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Report module for the kind compiler"
+name = "kind-report"
+version = "0.1.2"
 
 # 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.1" }
+kind-span = {path = "../kind-span", version = "0.1.2"}
 
+fxhash = "0.2.1"
+pathdiff = "0.2.1"
+termsize = "0.1"
 unicode-width = "0.1.10"
 yansi = "0.5.1"
-pathdiff = "0.2.1"
-fxhash = "0.2.1"
-termsize = "0.1"
\ No newline at end of file
diff --git a/crates/kind-span/Cargo.toml b/crates/kind-span/Cargo.toml
index e7f0c724..29bc33df 100644
--- a/crates/kind-span/Cargo.toml
+++ b/crates/kind-span/Cargo.toml
@@ -1,9 +1,9 @@
 [package]
-name = "kind-span"
-version = "0.1.1"
+description = "Describes locations for the Kind compiler"
 edition = "2021"
 license = "MIT"
-description = "Describes locations for the Kind compiler"
+name = "kind-span"
+version = "0.1.2"
 
 # 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 c1a6f948..7c36885c 100644
--- a/crates/kind-target-hvm/Cargo.toml
+++ b/crates/kind-target-hvm/Cargo.toml
@@ -1,16 +1,16 @@
 [package]
-name = "kind-target-hvm"
-version = "0.1.1"
+description = "HVM Code generator for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "HVM Code generator for the kind compiler"
+name = "kind-target-hvm"
+version = "0.1.2"
 
 # 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.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
-kind-derive = { path = "../kind-derive", version = "0.1.1" }
+kind-derive = {path = "../kind-derive", version = "0.1.2"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
 hvm = "1.0.6"
diff --git a/crates/kind-target-kdl/Cargo.toml b/crates/kind-target-kdl/Cargo.toml
index 8a3cc3c8..22239851 100644
--- a/crates/kind-target-kdl/Cargo.toml
+++ b/crates/kind-target-kdl/Cargo.toml
@@ -1,20 +1,20 @@
 [package]
-name = "kind-target-kdl"
-version = "0.1.1"
+description = "KDL target for the kind compiler"
 edition = "2021"
 license = "MIT"
-description = "KDL target for the kind compiler"
+name = "kind-target-kdl"
+version = "0.1.2"
 
 # 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.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
-kind-derive = { path = "../kind-derive", version = "0.1.1" }
+kind-derive = {path = "../kind-derive", version = "0.1.2"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
+fxhash = "0.2.1"
+im-rc = "15.1.0"
 kindelia_lang = "0.1.7"
 linked-hash-map = "0.5.6"
 tiny-keccak = "2.0.2"
-fxhash = "0.2.1"
-im-rc = "15.1.0"
diff --git a/crates/kind-tests/Cargo.toml b/crates/kind-tests/Cargo.toml
index f8caee85..402910d4 100644
--- a/crates/kind-tests/Cargo.toml
+++ b/crates/kind-tests/Cargo.toml
@@ -1,23 +1,23 @@
 [package]
-name = "kind-tests"
-version = "0.1.1"
 edition = "2021"
 license = "MIT"
+name = "kind-tests"
+version = "0.1.2"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dev-dependencies]
-kind-driver  = { path = "../kind-driver" }
-kind-parser = { path = "../kind-parser", version = "0.1.1" }
-kind-tree = { path = "../kind-tree", version = "0.1.1" }
-kind-span = { path = "../kind-span", version = "0.1.1" }
-kind-report = { path = "../kind-report", version = "0.1.1" }
-kind-checker = { path = "../kind-checker" }
-kind-pass = { path = "../kind-pass" }
+kind-checker = {path = "../kind-checker"}
+kind-driver = {path = "../kind-driver"}
+kind-parser = {path = "../kind-parser", version = "0.1.2"}
+kind-pass = {path = "../kind-pass"}
+kind-report = {path = "../kind-report", version = "0.1.2"}
+kind-span = {path = "../kind-span", version = "0.1.2"}
+kind-tree = {path = "../kind-tree", version = "0.1.2"}
 
-kind-target-hvm = { path = "../kind-target-hvm" }
-kind-target-kdl = { path = "../kind-target-kdl" }
+kind-target-hvm = {path = "../kind-target-hvm"}
+kind-target-kdl = {path = "../kind-target-kdl"}
 
-pretty_assertions = "1.3.0"
 ntest = "0.8.1"
-walkdir = "2"
\ No newline at end of file
+pretty_assertions = "1.3.0"
+walkdir = "2"
diff --git a/crates/kind-tree/Cargo.toml b/crates/kind-tree/Cargo.toml
index 6cfd2708..34595360 100644
--- a/crates/kind-tree/Cargo.toml
+++ b/crates/kind-tree/Cargo.toml
@@ -1,8 +1,8 @@
 [package]
-name = "kind-tree"
-version = "0.1.1"
 edition = "2021"
 license = "MIT"
+name = "kind-tree"
+version = "0.1.2"
 
 description = "Syntatic trees for Kind compiler"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
@@ -10,6 +10,6 @@ description = "Syntatic trees for Kind compiler"
 [dependencies]
 hvm = "1.0.6"
 
-kind-span = { path = "../kind-span", version = "0.1.1" }
+fxhash = "0.2.1"
+kind-span = {path = "../kind-span", version = "0.1.2"}
 linked-hash-map = "0.5.6"
-fxhash = "0.2.1"
\ No newline at end of file