types+grammar: tweak to ch4 < discussion