types+grammar: ch4, adding spec quote about logical-or and logical-and operators behavior