Type stubs, generated by a tool like pybind11_stubgen, and distributed as .pyi files, are very standard in modern Python. It would be awesome to add an example of how to incorporate that into this project.