Add bindings to pattern matching in case statement typechecking
-rw-r--r-- 8 .gitignore
-rw-r--r-- 1856 abi.md
-rw-r--r-- 10711 ast.scm
-rw-r--r-- 23518 codegen.scm
-rwxr-xr-x 1030 main.scm
-rw-r--r-- 453 platform.scm
-rw-r--r-- 34 sample.scm
-rw-r--r-- 6720 tests.scm
-rw-r--r-- 460 typecheck.md
-rw-r--r-- 13636 typecheck.scm
-rw-r--r-- 572 utils.scm