Type annotations for public API

Thanks for making an awesome project! Since code for web apps can be harder to unit test, it would be nice to have mypy coverage. However, this is currently rather difficult because of a lack of type annotations. What would people think of adding type annotations for the public API of streamlit?