types+grammar: clarification notes about labeled loops behavior