Having type hints would greatly improve ability to understand existing and write new extensions. Whether this information would be used by the interpreter (probably not due to extra overhead), external tool like Skylint or something else can be discussed separately.