types+grammar: ch2 typo/clarification