Typecheck variables.
Typecheck abstractions.