I mean that if you are asking for something we don't currently have, it pretty much by construction has to be something that involves more data and metadata. ID

I mean that if you are asking for something we don't currently have, it pretty much by construction has to be something that involves more data and metadata. IDEs already do a lot of this sort of thing with all languages. Slicing and dicing by functions and such is not that hard and I've seen any number of variations on it, but coherent views of any sizable code base do not arise from any amount of that. If you want a coherent view of the code base, you're going to need to provide more. One such example would be literate programming, something that a lot of people look over and pine for the end results, but aren't actually willing to put the effort in that is irreducibly necessary to obtain such results.