Added Null type.
Fixed reader so that it corresponds to the changes made to the language.
Note about the C translation for the let bindings.