Finish chapter 3

And add some more number tower stuff to the primitives (eqv etc)