Comment by dnautics

> in my mind variables are their bindings (there is not a third category distinct from the value and the lexical binding)