Trivial type-checking for try, catch, and finally blocks. Have not yet added exception type or exception-identifier binding for catch block.