[enh] use typing_extensions for Python 3.7

This lets the next commit make use of TypedDict &
Literal which were only introduced in Python 3.8.