Typing fixes 2025 06 #1838

Job	Run time
Ruff	8s
Typos	5s
basedpyright	1m 54s
Mypy	2m 2s
Pytest Conda Py3 Intel	2m 28s
Pytest Conda Py3 POCL	2m 42s
Examples Conda Py3	1m 40s
Documentation	2m 34s
Tests for downstream project grudge	10m 26s
Tests for downstream project meshmode	11m 28s
Tests for downstream project mirgecom	4s
Tests for downstream project mirgecom_examples	5s
	35m 36s

Provide feedback