types+grammar: ch4, adding discussion of 'Date' coercion, filling out explicit toboolean coercions