Substitute constraints after recursive call
-rw-r--r-- 8 .gitignore
-rw-r--r-- 1065 abi.md
-rw-r--r-- 2339 ast.scm
-rw-r--r-- 15628 codegen.scm
-rw-r--r-- 815 main.scm
-rw-r--r-- 453 platform.scm
-rw-r--r-- 34 sample.scm
-rw-r--r-- 2575 tests.scm
-rw-r--r-- 12062 typecheck.scm