Fix problems with IF, SB-INT:NAMED-LAMBDA, LOCALLY, DECLARE.
Handle global special variables.
Add functions EVAL and LOAD.
Fix LET*.
PREPARE-REF: Support special variables.
M-V-B: Add lexicals to the context.
Reorder functions to make sb-eval2.lisp LOADable without warnings.
CATCH: Evaluate the tag form.
M-V-PROG1: Fix body evaluation.
Properly support (FUNCTION (SETF ...)) forms.
Add some type hints.