rework Vars section to make distinction between lexically scoped names and Vars