Add type-checking CI component
Also added static typing to the example project to run it against mypy. Let me know if I missed anything here.
Also added static typing to the example project to run it against mypy. Let me know if I missed anything here.