types+grammar: lots more in ch4 about implicit coercion, incl 'logical or' and 'logical and' operators, null/undefined, etc