[Feature Request] Add type-level tests

[dandavison]

We'd like a good way to write type-level tests to confirm that mypy and pyright are enforcing what we want them to enforce and to prevent regressions.