Symbol User Interface for Attributes / Types

I want to bring up an old pain point, that has recently been bothering some of us more frequently. This isn’t really an RFC, but it could become one.

The problem was summarized in a few posts a while back: Contextual type verification?

In short, several of us were hoping for something like SymbolUserOpInterface, but for Types and Attributes.

First off, does something like this exist? I looked around a bit and didn’t see it.

If not, would adding something like this make sense?