types+grammar: addressing ch4 editorial comments in #170