It would be a different direction than what you've done so far, but I'd love to see what you could do for statically typed languages. I'm thinking less about re

It would be a different direction than what you've done so far, but I'd love to see what you could do for statically typed languages. I'm thinking less about repls and evaluation and more about supercharged autocomplete and refactoring tools. I know this is already done in any number of big enterprisey IDEs, but you would surely take a fresh and creative approach. Go would be a perfect test candidate.