No, that's an orthogonal concern. You have to use it to understand (edit: or you have to find someone smarter than me to explain it to you ;).

Jetbrains does something similar with their Ruby ide, but it feels more advanced in IntelliJ. Certainly the static analysis can gather more information.

Code isn't just for writing, it's for reading too. A degree of extra explicit information in the code can often (Note: not always) be useful when you're maintaining someone else's code.

No.