in n-model sequences (#32), we'll need to be able to support and distinguish between multiple targets;
when using a target as the context for a tick-tock refinement, we need to be able to refer to it by name, and this seems like the least bad way of doing that.
Two reasons: