2014-09-28-14.22.28: src/lib/x-kit/widget/gui/gui-event-types.pkg (etc): Complete conversion from Modifier_Key_Bits  bitvector to Modifier_Keys_State bool record.