New material on defining extension types.  Thanks!

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