types+grammar: covering == with symbols, and Object(symbol) behavior, in ch4, closes #94