Kompile uses new type inference algorithm

Author: dkcumming

kmir/kbuild.toml

@@ -9,16 +9,19 @@ main-file = "mir.md"
 main-module = "MIR"
 syntax-module = "MIR-SYNTAX"
 gen-glr-bison-parser = "true"
+type-inference-mode = "simplesub"
 
 [targets.llvmc]
 backend = "llvm"
 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"