Using type stub files instead of using annotations from source codes.

[linw1995]

Using type stub files to make static type checking instead of using annotations from source codes.

Pros

1. Be able to remove the typing-extensions dependency from production release.

...

Cons

1. Annotations may be missing in documents of APIs references.

...