Resolve types in lambda arguments, recursively substitute
-rw-r--r-- 2 .gitignore
-rw-r--r-- 481 ast.scm
-rw-r--r-- 2385 codegen.scm
-rw-r--r-- 146 main.scm
-rw-r--r-- 199 rts.c
-rw-r--r-- 28 sample.scm
-rw-r--r-- 294 tests.scm
-rw-r--r-- 5904 typecheck.scm