cola: completely rework the cola user interface