"click a little [+] next to predict(p) and see it right there inline, with its argument replaced by p? Oh, that’s how that works, cool, [-]."
While I like this idea, I fail to see how having to use my mouse to navigate to and click the +/- would be more useful than using a keyboard shortcut to jump to definition..