Type environment

A mapping from variable names to their types, often written as $\Gamma$, that tracks type bindings in scope during Type checker analysis, extended when entering new binding forms.