All typing errors found with --check-untyped-defs have been fixed, so
let's make mypy stricter now to avoid regressing this.