2014-11-29-11.08.26: src/lib/x-kit/widget/gui/guiboss-types.pkg:  Tidying.