Classes of lively/WidgetsTraits.js