Major re-consideration of a unique function identification; major fixes
related to scoping: function nesting, positions of formal parameters
within a function scope.
Update the RVM interpreter examples.
Updated the muRascal library.
Updated tests, Rascal and muRascal examples.
Merged.