Applied changes to the muRascal syntax: (1) new syntax for guards (used
outside the body of a coroutine); (2) new syntax for function/coroutine
signatures; (3) explicit local variable declarations; got rid of
redundant semicolons.