2014-08-15-22.14.21: src/lib/x-kit/widget/theme/gui-displaylist.pkg: Clearer more concise names for the constructors.