Add bug note.
Remove ast name array.
Begin modifying structure of catch/finally blocks.

Catch and finally blocks are now wrappers around the AST nodes that
they protect.

Finally will be syntactic sugar for inserting the finally block at
every exit point in the surrounded block (unless this technique will
cause too many troubles with data flow analysis).
Move finally fatal message into desugar.