types+grammar: little bit of text in ch4 implicit coercion sections