Completed type-checking.
Completed clos.
Completed dice-project.
Completed macros.
Completed scope-and-extent.