Add Env.restrict and Env.range, needed to do the abstract GC
Update README
Add free_variables
Add test for free_variables
Parse letrec, remove define
Remove references to define, rename some stuff
Handle letrec in the CESK machine
Fix AST tests
Fix simple tests
Fix advanced tests