Work in progress on chapter 9, macros

Still some things to iron out. Still.
Evaluate applications, enough to eval (+ 1 1)

Also, some (incomplete) machinery for showing objectified expressions.