constructors for multi-ary expressions with operand type #11528

Job	Run time
check-ubuntu-22_04-make-clang	31m 51s
check-ubuntu-24_04-cmake-gcc-14	28m 17s
check-ubuntu-24_04-cmake-gcc-THOROUGH	20m 8s
check-ubuntu-22_04-cmake-gcc	27m 3s
check-ubuntu-24_04-make-clang	34m 9s
check-ubuntu-24_04-arm-cmake-gcc	19m 16s
check-ubuntu-24_04-cmake-gcc	30m 57s
check-ubuntu-24_04-make-gcc	30m 19s
check-ubuntu-24_04-make-clang-smt-z3	16m 18s
check-vs-2022-make-build-and-test	1h 7m 27s
check-ubuntu-22_04-cmake-gcc-32bit	27m 40s
check-docker-image	20m 10s
windows-msi-package	27m 44s
check-macos-14-cmake-clang	1h 47m 45s
check-vs-2025-cmake-build-and-test	57m 34s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	15m 44s
check-macos-15-intel-make-clang	1h 13m 49s
include-what-you-use	14m 57s
check-string-table	1m 43s
	10h 52m 51s

Provide feedback