dead code elimination
Accurate error messages for lambda parsing
Accurate error messages for local parsing
Accurate error messages for letrec parsing
Accurate error messages for let parsing
Accurate error messages for let*, begin, and, or
Accurate error messages for if and begin, remove dead code
optimizing
handle error messages for arbitrary numbers of extra parts