the sugar synthax

{do : methodName, with : parameters, catch : errorProc}
{from : docid, emit : procname, with :  parameter, catch : errorProc}
TODO { let: varName, with : params}
TODO {do: ... , with : ..., ret: forcedReturn, catch : ... }
TODO {precondition : wildcard, with: params}