types+grammar: fixing mistake in code/text in ch4, closes #207