Token, statement and block level annotations would actually be nice. Perhaps even nicer if those annotations could be structured data instead of just text. You

Token, statement and block level annotations would actually be nice. Perhaps even nicer if those annotations could be structured data instead of just text. You could create a truly self-describing code base without having to worry too much about the second hardest problem in programming.