[errai-dev] workspaces, widgets and TheStore