types+grammar: ch4, addressing a few more 'crazy' corner cases of coercion