Introduce gvar to access global variables in O(1).
Make one gvar object for one symbol.
Global environments are represented as list of gvar, not list of a-list.