The same amount of information exists, but is normalized. The variable _definition_ absolutely will have a "name" annotation, but copying that name to each bind

The same amount of information exists, but is normalized. The variable _definition_ absolutely will have a "name" annotation, but copying that name to each binding site is brittle. To render a binding, just dereference the pointer to the original definition and use its name. I'm working on it.