= 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();