Catch / finally clauses

[skloibi]

Generate catch blocks or finally clauses and use them as potential generation contexts

[skloibi]

Would require a rewrite of the scoping mechanism to keep track of initialized / accessible variables in each of the resulting blocks.