added labels for exceptions.
Completed type-checking for try-catch including exception-type binding for identifier in catch block.