types+grammar: ch4, more structure/content