Consider using stub files
Stub files (with the .pyi extension) could be useful in TLT for
- separating the typed interface from the implementations
- type-annotating third-party code without modifying it.
See an explanation here. This is just something to consider for the future, and not at all urgent.