types+grammar: ch4, tweaking wording around abstract operations