diff --git a/src/kind-checker/Cargo.toml b/crates/kind-checker/Cargo.toml
similarity index 100%
rename from src/kind-checker/Cargo.toml
rename to crates/kind-checker/Cargo.toml
diff --git a/src/kind-checker/src/checker.hvm b/crates/kind-checker/src/checker.hvm
similarity index 100%
rename from src/kind-checker/src/checker.hvm
rename to crates/kind-checker/src/checker.hvm
diff --git a/src/kind-checker/src/compiler/mod.rs b/crates/kind-checker/src/compiler/mod.rs
similarity index 100%
rename from src/kind-checker/src/compiler/mod.rs
rename to crates/kind-checker/src/compiler/mod.rs
diff --git a/src/kind-checker/src/compiler/tags.rs b/crates/kind-checker/src/compiler/tags.rs
similarity index 100%
rename from src/kind-checker/src/compiler/tags.rs
rename to crates/kind-checker/src/compiler/tags.rs
diff --git a/src/kind-checker/src/errors.rs b/crates/kind-checker/src/errors.rs
similarity index 100%
rename from src/kind-checker/src/errors.rs
rename to crates/kind-checker/src/errors.rs
diff --git a/src/kind-checker/src/lib.rs b/crates/kind-checker/src/lib.rs
similarity index 100%
rename from src/kind-checker/src/lib.rs
rename to crates/kind-checker/src/lib.rs
diff --git a/src/kind-checker/src/report.rs b/crates/kind-checker/src/report.rs
similarity index 100%
rename from src/kind-checker/src/report.rs
rename to crates/kind-checker/src/report.rs
diff --git a/src/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml
similarity index 100%
rename from src/kind-cli/Cargo.toml
rename to crates/kind-cli/Cargo.toml
diff --git a/src/kind-cli/src/lib.rs b/crates/kind-cli/src/lib.rs
similarity index 100%
rename from src/kind-cli/src/lib.rs
rename to crates/kind-cli/src/lib.rs
diff --git a/src/kind-cli/src/main.rs b/crates/kind-cli/src/main.rs
similarity index 100%
rename from src/kind-cli/src/main.rs
rename to crates/kind-cli/src/main.rs
diff --git a/src/kind-cli/tests/mod.rs b/crates/kind-cli/tests/mod.rs
similarity index 100%
rename from src/kind-cli/tests/mod.rs
rename to crates/kind-cli/tests/mod.rs
diff --git a/src/kind-cli/tests/suite/checker/derive/Eq.golden b/crates/kind-cli/tests/suite/checker/derive/Eq.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/Eq.golden
rename to crates/kind-cli/tests/suite/checker/derive/Eq.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/Eq.kind2 b/crates/kind-cli/tests/suite/checker/derive/Eq.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/Eq.kind2
rename to crates/kind-cli/tests/suite/checker/derive/Eq.kind2
diff --git a/src/kind-cli/tests/suite/checker/derive/Nat.golden b/crates/kind-cli/tests/suite/checker/derive/Nat.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/Nat.golden
rename to crates/kind-cli/tests/suite/checker/derive/Nat.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/Nat.kind2 b/crates/kind-cli/tests/suite/checker/derive/Nat.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/Nat.kind2
rename to crates/kind-cli/tests/suite/checker/derive/Nat.kind2
diff --git a/src/kind-cli/tests/suite/checker/derive/User.golden b/crates/kind-cli/tests/suite/checker/derive/User.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/User.golden
rename to crates/kind-cli/tests/suite/checker/derive/User.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/User.kind2 b/crates/kind-cli/tests/suite/checker/derive/User.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/User.kind2
rename to crates/kind-cli/tests/suite/checker/derive/User.kind2
diff --git a/src/kind-cli/tests/suite/checker/derive/Vec.golden b/crates/kind-cli/tests/suite/checker/derive/Vec.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/Vec.golden
rename to crates/kind-cli/tests/suite/checker/derive/Vec.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/Vec.kind2 b/crates/kind-cli/tests/suite/checker/derive/Vec.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/Vec.kind2
rename to crates/kind-cli/tests/suite/checker/derive/Vec.kind2
diff --git a/src/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.golden b/crates/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.golden
rename to crates/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.kind2 b/crates/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.kind2
rename to crates/kind-cli/tests/suite/checker/derive/fail/IncompleteCase.kind2
diff --git a/src/kind-cli/tests/suite/checker/derive/fail/Repeated.golden b/crates/kind-cli/tests/suite/checker/derive/fail/Repeated.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/fail/Repeated.golden
rename to crates/kind-cli/tests/suite/checker/derive/fail/Repeated.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/fail/Repeated.kind2 b/crates/kind-cli/tests/suite/checker/derive/fail/Repeated.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/fail/Repeated.kind2
rename to crates/kind-cli/tests/suite/checker/derive/fail/Repeated.kind2
diff --git a/src/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.golden b/crates/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.golden
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.golden
rename to crates/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.golden
diff --git a/src/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.kind2 b/crates/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.kind2
rename to crates/kind-cli/tests/suite/checker/derive/fail/RepeatedDef.kind2
diff --git a/src/kind-cli/tests/suite/eval/User.golden b/crates/kind-cli/tests/suite/eval/User.golden
similarity index 100%
rename from src/kind-cli/tests/suite/eval/User.golden
rename to crates/kind-cli/tests/suite/eval/User.golden
diff --git a/src/kind-cli/tests/suite/eval/User.kind2 b/crates/kind-cli/tests/suite/eval/User.kind2
similarity index 100%
rename from src/kind-cli/tests/suite/eval/User.kind2
rename to crates/kind-cli/tests/suite/eval/User.kind2
diff --git a/src/kind-derive/Cargo.toml b/crates/kind-derive/Cargo.toml
similarity index 100%
rename from src/kind-derive/Cargo.toml
rename to crates/kind-derive/Cargo.toml
diff --git a/src/kind-derive/src/errors.rs b/crates/kind-derive/src/errors.rs
similarity index 100%
rename from src/kind-derive/src/errors.rs
rename to crates/kind-derive/src/errors.rs
diff --git a/src/kind-derive/src/lib.rs b/crates/kind-derive/src/lib.rs
similarity index 100%
rename from src/kind-derive/src/lib.rs
rename to crates/kind-derive/src/lib.rs
diff --git a/src/kind-derive/src/matching.rs b/crates/kind-derive/src/matching.rs
similarity index 100%
rename from src/kind-derive/src/matching.rs
rename to crates/kind-derive/src/matching.rs
diff --git a/src/kind-derive/src/open.rs b/crates/kind-derive/src/open.rs
similarity index 100%
rename from src/kind-derive/src/open.rs
rename to crates/kind-derive/src/open.rs
diff --git a/src/kind-derive/src/record.rs b/crates/kind-derive/src/record.rs
similarity index 100%
rename from src/kind-derive/src/record.rs
rename to crates/kind-derive/src/record.rs
diff --git a/src/kind-derive/src/subst.rs b/crates/kind-derive/src/subst.rs
similarity index 100%
rename from src/kind-derive/src/subst.rs
rename to crates/kind-derive/src/subst.rs
diff --git a/src/kind-driver/Cargo.toml b/crates/kind-driver/Cargo.toml
similarity index 100%
rename from src/kind-driver/Cargo.toml
rename to crates/kind-driver/Cargo.toml
diff --git a/src/kind-driver/src/errors.rs b/crates/kind-driver/src/errors.rs
similarity index 100%
rename from src/kind-driver/src/errors.rs
rename to crates/kind-driver/src/errors.rs
diff --git a/src/kind-driver/src/lib.rs b/crates/kind-driver/src/lib.rs
similarity index 100%
rename from src/kind-driver/src/lib.rs
rename to crates/kind-driver/src/lib.rs
diff --git a/src/kind-driver/src/resolution.rs b/crates/kind-driver/src/resolution.rs
similarity index 100%
rename from src/kind-driver/src/resolution.rs
rename to crates/kind-driver/src/resolution.rs
diff --git a/src/kind-driver/src/session.rs b/crates/kind-driver/src/session.rs
similarity index 100%
rename from src/kind-driver/src/session.rs
rename to crates/kind-driver/src/session.rs
diff --git a/src/kind-parser/Cargo.toml b/crates/kind-parser/Cargo.toml
similarity index 100%
rename from src/kind-parser/Cargo.toml
rename to crates/kind-parser/Cargo.toml
diff --git a/src/kind-parser/src/errors.rs b/crates/kind-parser/src/errors.rs
similarity index 100%
rename from src/kind-parser/src/errors.rs
rename to crates/kind-parser/src/errors.rs
diff --git a/src/kind-parser/src/expr.rs b/crates/kind-parser/src/expr.rs
similarity index 100%
rename from src/kind-parser/src/expr.rs
rename to crates/kind-parser/src/expr.rs
diff --git a/src/kind-parser/src/lexer/comments.rs b/crates/kind-parser/src/lexer/comments.rs
similarity index 100%
rename from src/kind-parser/src/lexer/comments.rs
rename to crates/kind-parser/src/lexer/comments.rs
diff --git a/src/kind-parser/src/lexer/literals.rs b/crates/kind-parser/src/lexer/literals.rs
similarity index 100%
rename from src/kind-parser/src/lexer/literals.rs
rename to crates/kind-parser/src/lexer/literals.rs
diff --git a/src/kind-parser/src/lexer/mod.rs b/crates/kind-parser/src/lexer/mod.rs
similarity index 100%
rename from src/kind-parser/src/lexer/mod.rs
rename to crates/kind-parser/src/lexer/mod.rs
diff --git a/src/kind-parser/src/lexer/state.rs b/crates/kind-parser/src/lexer/state.rs
similarity index 100%
rename from src/kind-parser/src/lexer/state.rs
rename to crates/kind-parser/src/lexer/state.rs
diff --git a/src/kind-parser/src/lexer/tokens.rs b/crates/kind-parser/src/lexer/tokens.rs
similarity index 100%
rename from src/kind-parser/src/lexer/tokens.rs
rename to crates/kind-parser/src/lexer/tokens.rs
diff --git a/src/kind-parser/src/lib.rs b/crates/kind-parser/src/lib.rs
similarity index 100%
rename from src/kind-parser/src/lib.rs
rename to crates/kind-parser/src/lib.rs
diff --git a/src/kind-parser/src/macros.rs b/crates/kind-parser/src/macros.rs
similarity index 100%
rename from src/kind-parser/src/macros.rs
rename to crates/kind-parser/src/macros.rs
diff --git a/src/kind-parser/src/pat.rs b/crates/kind-parser/src/pat.rs
similarity index 100%
rename from src/kind-parser/src/pat.rs
rename to crates/kind-parser/src/pat.rs
diff --git a/src/kind-parser/src/state.rs b/crates/kind-parser/src/state.rs
similarity index 100%
rename from src/kind-parser/src/state.rs
rename to crates/kind-parser/src/state.rs
diff --git a/src/kind-parser/src/top_level/attributes.rs b/crates/kind-parser/src/top_level/attributes.rs
similarity index 100%
rename from src/kind-parser/src/top_level/attributes.rs
rename to crates/kind-parser/src/top_level/attributes.rs
diff --git a/src/kind-parser/src/top_level/mod.rs b/crates/kind-parser/src/top_level/mod.rs
similarity index 100%
rename from src/kind-parser/src/top_level/mod.rs
rename to crates/kind-parser/src/top_level/mod.rs
diff --git a/src/kind-parser/src/top_level/type_decl.rs b/crates/kind-parser/src/top_level/type_decl.rs
similarity index 100%
rename from src/kind-parser/src/top_level/type_decl.rs
rename to crates/kind-parser/src/top_level/type_decl.rs
diff --git a/src/kind-pass/Cargo.toml b/crates/kind-pass/Cargo.toml
similarity index 100%
rename from src/kind-pass/Cargo.toml
rename to crates/kind-pass/Cargo.toml
diff --git a/src/kind-pass/src/desugar/app.rs b/crates/kind-pass/src/desugar/app.rs
similarity index 100%
rename from src/kind-pass/src/desugar/app.rs
rename to crates/kind-pass/src/desugar/app.rs
diff --git a/src/kind-pass/src/desugar/attributes.rs b/crates/kind-pass/src/desugar/attributes.rs
similarity index 100%
rename from src/kind-pass/src/desugar/attributes.rs
rename to crates/kind-pass/src/desugar/attributes.rs
diff --git a/src/kind-pass/src/desugar/destruct.rs b/crates/kind-pass/src/desugar/destruct.rs
similarity index 100%
rename from src/kind-pass/src/desugar/destruct.rs
rename to crates/kind-pass/src/desugar/destruct.rs
diff --git a/src/kind-pass/src/desugar/expr.rs b/crates/kind-pass/src/desugar/expr.rs
similarity index 100%
rename from src/kind-pass/src/desugar/expr.rs
rename to crates/kind-pass/src/desugar/expr.rs
diff --git a/src/kind-pass/src/desugar/mod.rs b/crates/kind-pass/src/desugar/mod.rs
similarity index 100%
rename from src/kind-pass/src/desugar/mod.rs
rename to crates/kind-pass/src/desugar/mod.rs
diff --git a/src/kind-pass/src/desugar/top_level.rs b/crates/kind-pass/src/desugar/top_level.rs
similarity index 100%
rename from src/kind-pass/src/desugar/top_level.rs
rename to crates/kind-pass/src/desugar/top_level.rs
diff --git a/src/kind-pass/src/erasure/mod.rs b/crates/kind-pass/src/erasure/mod.rs
similarity index 100%
rename from src/kind-pass/src/erasure/mod.rs
rename to crates/kind-pass/src/erasure/mod.rs
diff --git a/src/kind-pass/src/errors.rs b/crates/kind-pass/src/errors.rs
similarity index 100%
rename from src/kind-pass/src/errors.rs
rename to crates/kind-pass/src/errors.rs
diff --git a/src/kind-pass/src/expand/mod.rs b/crates/kind-pass/src/expand/mod.rs
similarity index 100%
rename from src/kind-pass/src/expand/mod.rs
rename to crates/kind-pass/src/expand/mod.rs
diff --git a/src/kind-pass/src/expand/uses.rs b/crates/kind-pass/src/expand/uses.rs
similarity index 100%
rename from src/kind-pass/src/expand/uses.rs
rename to crates/kind-pass/src/expand/uses.rs
diff --git a/src/kind-pass/src/lib.rs b/crates/kind-pass/src/lib.rs
similarity index 100%
rename from src/kind-pass/src/lib.rs
rename to crates/kind-pass/src/lib.rs
diff --git a/src/kind-pass/src/unbound/mod.rs b/crates/kind-pass/src/unbound/mod.rs
similarity index 100%
rename from src/kind-pass/src/unbound/mod.rs
rename to crates/kind-pass/src/unbound/mod.rs
diff --git a/src/kind-query/Cargo.toml b/crates/kind-query/Cargo.toml
similarity index 100%
rename from src/kind-query/Cargo.toml
rename to crates/kind-query/Cargo.toml
diff --git a/src/kind-query/src/errors.rs b/crates/kind-query/src/errors.rs
similarity index 100%
rename from src/kind-query/src/errors.rs
rename to crates/kind-query/src/errors.rs
diff --git a/src/kind-query/src/graph.rs b/crates/kind-query/src/graph.rs
similarity index 100%
rename from src/kind-query/src/graph.rs
rename to crates/kind-query/src/graph.rs
diff --git a/src/kind-query/src/lib.rs b/crates/kind-query/src/lib.rs
similarity index 100%
rename from src/kind-query/src/lib.rs
rename to crates/kind-query/src/lib.rs
diff --git a/src/kind-query/src/names.rs b/crates/kind-query/src/names.rs
similarity index 100%
rename from src/kind-query/src/names.rs
rename to crates/kind-query/src/names.rs
diff --git a/src/kind-report/Cargo.toml b/crates/kind-report/Cargo.toml
similarity index 100%
rename from src/kind-report/Cargo.toml
rename to crates/kind-report/Cargo.toml
diff --git a/src/kind-report/src/data.rs b/crates/kind-report/src/data.rs
similarity index 100%
rename from src/kind-report/src/data.rs
rename to crates/kind-report/src/data.rs
diff --git a/src/kind-report/src/lib.rs b/crates/kind-report/src/lib.rs
similarity index 100%
rename from src/kind-report/src/lib.rs
rename to crates/kind-report/src/lib.rs
diff --git a/src/kind-report/src/report.rs b/crates/kind-report/src/report.rs
similarity index 100%
rename from src/kind-report/src/report.rs
rename to crates/kind-report/src/report.rs
diff --git a/src/kind-span/Cargo.toml b/crates/kind-span/Cargo.toml
similarity index 100%
rename from src/kind-span/Cargo.toml
rename to crates/kind-span/Cargo.toml
diff --git a/src/kind-span/src/lib.rs b/crates/kind-span/src/lib.rs
similarity index 100%
rename from src/kind-span/src/lib.rs
rename to crates/kind-span/src/lib.rs
diff --git a/src/kind-target-hvm/Cargo.toml b/crates/kind-target-hvm/Cargo.toml
similarity index 100%
rename from src/kind-target-hvm/Cargo.toml
rename to crates/kind-target-hvm/Cargo.toml
diff --git a/src/kind-target-hvm/src/lib.rs b/crates/kind-target-hvm/src/lib.rs
similarity index 100%
rename from src/kind-target-hvm/src/lib.rs
rename to crates/kind-target-hvm/src/lib.rs
diff --git a/src/kind-target-kdl/Cargo.toml b/crates/kind-target-kdl/Cargo.toml
similarity index 100%
rename from src/kind-target-kdl/Cargo.toml
rename to crates/kind-target-kdl/Cargo.toml
diff --git a/src/kind-target-kdl/src/lib.rs b/crates/kind-target-kdl/src/lib.rs
similarity index 100%
rename from src/kind-target-kdl/src/lib.rs
rename to crates/kind-target-kdl/src/lib.rs
diff --git a/src/kind-tree/Cargo.toml b/crates/kind-tree/Cargo.toml
similarity index 100%
rename from src/kind-tree/Cargo.toml
rename to crates/kind-tree/Cargo.toml
diff --git a/src/kind-tree/README.md b/crates/kind-tree/README.md
similarity index 100%
rename from src/kind-tree/README.md
rename to crates/kind-tree/README.md
diff --git a/src/kind-tree/src/concrete/expr.rs b/crates/kind-tree/src/concrete/expr.rs
similarity index 100%
rename from src/kind-tree/src/concrete/expr.rs
rename to crates/kind-tree/src/concrete/expr.rs
diff --git a/src/kind-tree/src/concrete/mod.rs b/crates/kind-tree/src/concrete/mod.rs
similarity index 100%
rename from src/kind-tree/src/concrete/mod.rs
rename to crates/kind-tree/src/concrete/mod.rs
diff --git a/src/kind-tree/src/concrete/pat.rs b/crates/kind-tree/src/concrete/pat.rs
similarity index 100%
rename from src/kind-tree/src/concrete/pat.rs
rename to crates/kind-tree/src/concrete/pat.rs
diff --git a/src/kind-tree/src/concrete/visitor.rs b/crates/kind-tree/src/concrete/visitor.rs
similarity index 100%
rename from src/kind-tree/src/concrete/visitor.rs
rename to crates/kind-tree/src/concrete/visitor.rs
diff --git a/src/kind-tree/src/desugared/mod.rs b/crates/kind-tree/src/desugared/mod.rs
similarity index 100%
rename from src/kind-tree/src/desugared/mod.rs
rename to crates/kind-tree/src/desugared/mod.rs
diff --git a/src/kind-tree/src/lib.rs b/crates/kind-tree/src/lib.rs
similarity index 100%
rename from src/kind-tree/src/lib.rs
rename to crates/kind-tree/src/lib.rs
diff --git a/src/kind-tree/src/symbol.rs b/crates/kind-tree/src/symbol.rs
similarity index 100%
rename from src/kind-tree/src/symbol.rs
rename to crates/kind-tree/src/symbol.rs