types+grammar: finishing out first draft of ch4