Updated grammar for try-catch-finally in order to allow for type-checking of exception binding within catch block. Note that this update to the grammar introduced shift/reduce conflicts (I believe 2) related to the optional finally block. We agreed that this is tolerable as the only previous shift/reduce conflicts were due to a dangling else and this dangling finally block is essentially the same issue.