Generalize term type before checking it against expected type. #9245

Job	Run time
build_details	2s
pre-commit	3m 9s
build_js	1m 25s
lezer_parse	48s
tree_sitter_parse	2m 25s
build_no_depopts	4m 10s
run_tests (@citest)	6m 50s
run_tests (@doctest)	6m 50s
build_opam (4.14.x)	4m 45s
run_tests (@mediatest)	1s
build_opam (5.0.x)	6m 41s
build_posix (debian_trixie, amd64)	6m 49s
build_posix (debian_bookworm, amd64)	6m 47s
build_win32 (x64)	6m 55s
build_posix (ubuntu_jammy, amd64)	6m 47s
update_doc	0s
build_posix (ubuntu_lunar, amd64)	6m 48s
build_posix (alpine, amd64)	6m 27s
fetch_s3_artifacts	1s
build_docker_minimal	1s
build_docker_alpine	1s
build_docker	1s
build_docker_alpine_minimal	1s
build_docker_release	1s
build_docker_release-minimal	1s
update_release	1s
	1h 17m 47s

Provide feedback