Meeting 7

In which we

* remove some complexity that wasn't mandated by the book
* move keywords and primitives into the initial environment
* implement number values
* implement `add1` and `sub1` primitives
* argue a lot about whether `-3` is a number