types+grammar: clarifications around 'primitive', closes #271