types+grammar: ch4, clarifying ==, ===, and their negations