build

Fix conversion of Quint nullary polymorphic operators #7116

Job	Run time
build-mdbook	8s
compiler-warnings	2m 13s
format-check	3m 50s
docker-tests	21m 36s
integration-tests (ubuntu-latest, oopsla19)	19m 50s
scaladoc-check	2m 54s
unit-tests (ubuntu-latest)	5m 0s
integration-tests (ubuntu-latest, arrays)	9m 29s
unit-tests (macos-latest)	4m 47s
integration-tests (macos-latest, oopsla19)	13m 39s
	1h 23m 26s

Provide feedback