Michael Hudson <mwh21@cam.ac.uk>:

New material on defining extension types.  Thanks!

(Small markup adjustments made, but this is mostly as received.)