CI pipeline doesn't run type checks before tests, causing avoidable failures

`mypy` type checking is configured but not included in the CI pipeline. Type errors that would be caught before running tests slip through, causing test failures with confusing error messages.

**Relevant files:**
- `.github/workflows/ci.yml`

**Estimated effort:** 1–3 hours
