This adds type hints for IntegrationManager, helping ensure that code

interacting with an IntegrationManager passes around the right types.

These type hints also cover instance variables, letting IDEs and type

checkers show details on these attributes.

Unit tests, mypy, and pyright pass.