Scopes

Support for nested scopes within a function body will be added. This will require changes to front, model, dynamic, state layers.

Changed to model layer

ScopeIF:

• Collection<LocalVariableIF> variables();
• ScopeIF parent();
• Iterator<ScopeIF> children();
• int numChildren();

ModelIF:

• ScopeIF newScope(ScopeIF parentScope);
• LocationIF newLocation(ScopeIF scope, ...);
• methods to create locations need to specify scope instead of function

FunctionIF:

• /* creating a function creates one scope automatically: */
• ScopeIF outerScope();