Type-check bodies of try statement