types+grammar: more wording tweaks in ch4