Build

Two simplifications that will be needed to deal with @zoep's issues regarding initcode equivalence #3182

Job	Run time
nix-build (linux-x64)	4m 36s
cabal-check	4m 34s
extra-tests (ubuntu-latest)	4m 36s
nix-build (osx-x64)	4m 35s
extra-tests (macos-latest)	4m 35s
nix-build (osx-arm64)	4m 36s
bitwuzla-build (win64 target) / build	3s
build (windows-latest)	4m 8s
	31m 43s

Provide feedback