Make tagged templates a first-class type #10360

Job	Run time
build-compiler (macos-15-intel, 5.3.0, true, darwin-x64, x86_64-apple-darwin, release)	2m 18s
build-compiler (ubuntu-24.04, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, linux...	2m 31s
build-compiler (macos-15, 5.3.0, true, darwin-arm64, aarch64-apple-darwin, release)	2m 33s
build-compiler (ubuntu-24.04, ocaml-variants.5.0.0+options,ocaml-option-static, linux-x64, x86_64...	2m 31s
build-compiler (windows-2025, 5.3.0, true, win32-x64, x86_64-pc-windows-gnu, .exe, release)	2m 22s
build-compiler (ubuntu-24.04-arm, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, t...	2m 26s
test-devcontainer	2m 13s
pkg-pr-new	1s
dev-playground	1s
test-installation-npm	1s
api-docs	1s
test-installation-pnpm	1s
publish	1s
test-integration-rewatch	1s
	17m 1s

Provide feedback