types+grammar: ch2 fixing errors in code examples, per #170