Streamline `TypeName` to support pattern matching #422

Job	Run time
check (1.60.0, windows-latest)	2m 31s
check (1.60.0, ubuntu-latest)	2m 8s
check (stable, windows-latest)	44s
check (stable, ubuntu-latest)	22s
check (nightly, windows-latest)	34s
check (nightly, ubuntu-latest)	20s
	6m 39s

Provide feedback