Fix typechecking with bindings
-rw-r--r-- 8 .gitignore
-rw-r--r-- 1856 abi.md
-rw-r--r-- 10810 ast.scm
-rw-r--r-- 27225 codegen.scm
-rwxr-xr-x 1030 main.scm
-rw-r--r-- 453 platform.scm
-rw-r--r-- 34 sample.scm
-rw-r--r-- 7221 tests.scm
-rw-r--r-- 460 typecheck.md
-rw-r--r-- 14515 typecheck.scm
-rw-r--r-- 572 utils.scm