Add consolidation, tie up with typechecker
-rw-r--r-- 1351 compiler.scm
-rw-r--r-- 199 rts.c
-rw-r--r-- 4555 typecheck.scm