The scoping mechanism will not handle global variables correctly

[GoodGuysFree]

When fetching the type of a symbol, we need to consider that it is not found, and check further up the stack, to see if it is a name from a higher-layer scope.

[GoodGuysFree]

Little more difficult than I thought at first...
When we meet a variable, we need to check if it is a global.