Ah, wait, maybe I was misunderstanding this. I think we could actually add much better navigation UI, for example show a list of all functions and types in a file etc.
I thought this was about a list of variables defined in the REPL, with their values etc.