Fixtype of variable scopes.
A variable scope is a finite map from identifiers to values. It represents the contents of the variables in a scope. This may be a block scope or a file scope.
