Making PyDev accept #@type a: str on comments/strings to get type.