Nice! This is very exciting. I don't like the current landscape of python type checkers.
Please implement something like pyre-upgrade for being able to enable strict linting and upgrade existing code bases (but without all the other problems pyre brings). https://pyre-check.org/docs/types-in-python/#upgrade
Reading articles is over rated. Just make a comment solely based on the title. Good move.