types+grammar: added lots of discussion to 'implicit coercion' of ch4