types+grammar: fixing confusions in ch3, per #170