types+grammar: tweak to wording around heuristic rules in ch4