Semantic environment
= Semantic environment
A mapping from identifiers to their semantic values. A <programming closure> retains its defining <semantic environment>; extending it for parameters preserves <lexical scope> and lets those parameters shadow outer bindings.