I agree something more coherent would be nice, but that seems excessively verbose to me. I don't think we're going to need any more complex categories than "sm1", "sm4", and "sm6".
I favour less verbosity too. It can be, e.g. `todo(sm4)` or a list like `todo(sm4,sm6)`, with plain `todo` applying to all.