2014-12-08-18.30.38: src/lib/x-kit/widget/gui/guiboss-types.pkg: Tidying.