Adds a builkite step that runs mypy (ignoring missing imports) on the examples directory. Includes some comments to get the mypy check passing.
This makes me want to add mypy annotations to the public API. I know it's cumbersome.
Using .pyi files is a path that I think is actually reasonable. You can see it in action on projects like pytorch