build

Fix conversion of Quint nullary polymorphic operators #7117

Job	Run time
format-check	3m 48s
build-mdbook	8s
compiler-warnings	2m 7s
docker-tests	21m 42s
integration-tests (ubuntu-latest, oopsla19)	19m 8s
scaladoc-check	2m 56s
integration-tests (ubuntu-latest, arrays)	8m 52s
unit-tests (ubuntu-latest)	4m 57s
integration-tests (macos-latest, oopsla19)	17m 26s
unit-tests (macos-latest)	4m 2s
	1h 25m 6s

Provide feedback