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

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.

...