typeof takes a typing context.
Abstractions append onto the typing context.
Variables read from the typing context.