It'd be nice if emukit supported type checking via `mypy`. Right now we get this error message when used in a client package: ``` error: Skipping analyzing "emukit": module is installed, but missing library stubs or py.typed marker ```