Update sbt-typelevel to 0.7.1 #745

Job	Run time
Examples (ubuntu-latest, temurin@8)	1m 52s
Bench (ubuntu-latest, temurin@8)	1m 18s
Build and Test (ubuntu-latest, 3, temurin@8, rootJS, 1)	2m 41s
Submit Dependencies	0s
Build and Test (ubuntu-latest, 3, temurin@8, rootJVM, 1)	2m 34s
Build and Test (ubuntu-latest, 3, temurin@8, rootJVM, 4)	1m 48s
Build and Test (ubuntu-latest, 3, temurin@8, rootNative, 1)	3m 9s
Build and Test (ubuntu-latest, 2.12, temurin@8, rootJS, 1)	2m 44s
Build and Test (ubuntu-latest, 2.12, temurin@8, rootJVM, 1)	2m 29s
Build and Test (ubuntu-latest, 2.12, temurin@8, rootJVM, 4)	1m 42s
Build and Test (ubuntu-latest, 2.12, temurin@8, rootNative, 1)	2m 54s
Build and Test (ubuntu-latest, 2.13, temurin@8, rootJS, 1)	2m 37s
Build and Test (ubuntu-latest, 2.13, temurin@8, rootJVM, 1)	2m 29s
Build and Test (ubuntu-latest, 2.13, temurin@8, rootJVM, 4)	1m 39s
Build and Test (ubuntu-latest, 2.13, temurin@8, rootNative, 1)	2m 54s
Build and Test (ubuntu-latest, 2.13, temurin@11, rootJVM, 1)	1m 51s
Build and Test (ubuntu-latest, 2.13, temurin@11, rootJVM, 4)	1m 49s
Publish Artifacts	0s
	36m 30s

Provide feedback