I am currently trying to fix the binding arrows? I'm not actually sure what they're formally called, with some macros I am writing so they only point to the identifiers actually being referenced. Currently they are also pointing to identifiers with the same name defined outside of its scope. I think I would need to manipulate some syntax properties, and thus went looking through the documentation for them. I found some symbols that can be used as keys called out specifically, but never any comprehensive list of properties for me to look through. Does anyone know where I could find this? And if I am correct in thinking I would need to add syntax properties to fix the arrows?