types+grammar: more clarifications around labeled blocks