Persistent lexical environments.
Identical in shape to the spike-1 env: a cons-list of (name, value) bindings with shadowing and persistent extension.
(name, value)