2014-11-22-21.46.54: src/lib/x-kit/widget/gui/guiboss-types.pkg: I had failed to appreciate that withtype allows types and datatypes to be mutually recursive.  *BLUSH*  Much cleanup of this package taking advantage of this belated realization.