Crap. Looking through this, i just realized that having this attribute means we also have to rewrite not just the name that's written out for the label having the withName attribute, but also any structure that references that label.

That gets into a tangle requiring us to think about the graph as a whole. It should be doable, but not exactly easy. Given that we don't have a burning use case for this just yet, we can probably put a hold on this and focus on other, more impactful changes.