This PR re-designs the internal typing API using the new PEP 560 features.
However, there are only few minor changes in the public API.