Update VIR representation of open/closed/opaque #6430

Job	Run time
smoke-test-and-release-windows	8m 59s
fmt	54s
smoke-test-and-release-linux	6m 24s
smoke-test-and-release-macos-x86	8m 25s
test-and-release-macos	11m 10s
test-and-release-macos (record-history)	3m 30s
test-and-release-macos (no-std)	2m 49s
test-and-release-macos (no-alloc)	2m 24s
test-and-release-macos (singular)	3m 41s
test-and-release-macos (cvc5)	2m 52s
release	0s
	51m 8s

Provide feedback