Streamline `TypeName` to support pattern matching #1217

Job	Run time
check (1.60.0, windows-latest)	3m 30s
check (1.60.0, ubuntu-latest)	2m 45s
check (stable, windows-latest)	1m 24s
check (stable, ubuntu-latest)	49s
check (nightly, windows-latest)	1m 10s
check (nightly, ubuntu-latest)	50s
	10m 28s

Provide feedback