This adds type hints for Integration, helping authors of integrations

supply the right types when filling out the attributes in a subclass or

calling methods on the integration.

Unit tests, mypy, and pyright pass.