types+grammar: updates/corrections to ch5 per review comments in #170