types+grammar: still more wording tweaks, typo fixes in ch4