First draft of object model chapter

I've now written:

 By default, every class is an instance of ``TYPE``. In particular, both
``TYPE`` and ``OBJECT`` are instances of ``TYPE``. However, the programmer can
also subclass ``TYPE`` to make a new metaclass.

(will push in a moment)