Add section on notation conventions
Add beginnings of a chapter on macros
Describe pattern macros