types+grammar: per @ljharb adding discussion of throw inside a finally