Updating the muRascal library to use the new coroutine design: work in
progress.
Made a syntactic distinction between: module names, function names,
types and different kind of variables; enables to do certain check
at the syntactic level.