diff --git a/kmir/kbuild.toml b/kmir/kbuild.toml
index bb375bfc1..5c3dae601 100644
--- a/kmir/kbuild.toml
+++ b/kmir/kbuild.toml
@@ -9,6 +9,7 @@ main-file = "mir.md"
 main-module = "MIR"
 syntax-module = "MIR-SYNTAX"
 gen-glr-bison-parser = "true"
+type-inference-mode = "simplesub"
 
 [targets.llvmc]
 backend = "llvm"
@@ -16,9 +17,11 @@ main-file = "mir.md"
 main-module = "MIR"
 syntax-module = "MIR-SYNTAX"
 llvm-kompile-type = "c"
+type-inference-mode = "simplesub"
 
 [targets.haskell]
 backend = "haskell"
 main-file = "mir.md"
 main-module = "MIR-SYMBOLIC"
 syntax-module = "MIR-SYNTAX"
+type-inference-mode = "simplesub"
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
index 3713b6f54..f57fb9f49 100644
--- a/kmir/pyproject.toml
+++ b/kmir/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmir"
-version = "0.2.20"
+version = "0.2.21"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
index 354068a08..acc6b9060 100644
--- a/kmir/src/kmir/__init__.py
+++ b/kmir/src/kmir/__init__.py
@@ -2,4 +2,4 @@
 
 from .kmir import KMIR
 
-VERSION: Final = '0.2.20'
+VERSION: Final = '0.2.21'
diff --git a/package/version b/package/version
index 3bfb9a48b..599028f5f 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.2.20
+0.2.21