types+grammar: ch4, adding discussion of objects-to-not-objects, and covering 'abstract relational' algorithm