revising the docs extractors, to move all of the default contracts into the generated files directory, so they don't clutter up the written ones.  You can still supply a #:contract parameter to override these extracted types.
merging in the handwritten parts of this doc, into the generated skeleton