types+grammar: linking to ch2 coercions