Streamline `TypeName` to support pattern matching #422

Job	Run time
check (1.70.0, windows-latest)	32s
check (1.70.0, ubuntu-latest)	24s
check (stable, windows-latest)	44s
check (stable, ubuntu-latest)	25s
check (nightly, windows-latest)	34s
check (nightly, ubuntu-latest)	22s
	3m 1s

Provide feedback