Refactor the shell

This gives us more freedom on how to implement the UI, and use that gained freedom to move the widgets out of the gigantic and rigid main stack.