consider refining statement labels to separate counter and name

[pkra]

Right now, we'll have labels with Theorem 1. We might want to target 1 and Theorem separately downstream (e.g, for visual styling or post-processing).