types+grammar: in ch4, adding forward note from ch4 to ch5, closes #191