Hacker News Reader

Operator overloading is the same as having the same method "add" for different types.

Yep. The IDE could resolve types (with the help of the compiler, perhaps), and tell you what the code you wrote actually does.