types+grammar: more clarifications about 'finally' and labeled blocks