Allows empty statements ";"
Refines try expressions

* catch also allows arbitrary expressions
* updated NoLExpr