Fixtype of variable tables, i.e. symbol tables for variables.
This keeps track of all the variables in scope [C:6.2.1], organized according to file and block scopes. The list has one element for the file scope and one element for each nested block scope, where the first element (the car) corresponds to the innermost scope: this order is natural, as blocks are added via cons. The list is never empty: we always have at least the file scope.
It is possible for two scopes in the list to have overlapping keys, when a variable in an inner block scope hides one in an outer block or scope in the file scope [C:6.2.1/4].