build

Fix conversion of Quint nullary polymorphic operators #7110

Job	Run time
format-check	3m 56s
compiler-warnings	2m 13s
docker-tests	22m 1s
build-mdbook	6s
integration-tests (ubuntu-latest, oopsla19)	19m 0s
scaladoc-check	2m 51s
integration-tests (ubuntu-latest, arrays)	9m 6s
unit-tests (ubuntu-latest)	4m 50s
integration-tests (macos-latest, oopsla19)	17m 48s
unit-tests (macos-latest)	4m 20s
	1h 26m 11s

Provide feedback