types+grammar: big reorg of content/chapters, more info on undefined/undeclared