Update VIR representation of open/closed/opaque (#1452) #6444

Job	Run time
smoke-test-and-release-macos-x86	8m 28s
smoke-test-and-release-windows	9m 15s
fmt	56s
smoke-test-and-release-linux	6m 42s
test-and-release-macos	13m 13s
test-and-release-macos (record-history)	3m 52s
test-and-release-macos (no-std)	2m 21s
test-and-release-macos (no-alloc)	3m 5s
test-and-release-macos (singular)	3m 23s
test-and-release-macos (cvc5)	2m 21s
release	15s
	53m 51s

Provide feedback