types+grammar: fixing confusing text, closes #192