Working on changes to the muRascal syntax: new syntax for guards (to
be used outside the body of a coroutine); new syntax for function and
coroutine signatures and for explicit local variable declarations;
trying to get rid of reduntant semicolons.