don't mention Diffable in "Type Safety" section
stub support for ChangeSets
introduce "Handling Changes" section and move "Patch Theory" to correctness
make chapter names more explicit