A mapping that keeps track of which variables are in which scope.