types+grammar: more for ch4, on true vs. false with == loose equality
types+grammar: more on true/false == stuff in ch4