Begin design doc, flesh out tagging

@all Here's some initial work towards the design doc, I've also fleshed out the tagging interface a bit. To avoid merge conflicts, I'd like it if you could take a look so that we can get (at least the uncontroversial bits) merged soon. I'm happy to slice this up to postpone controversial things.