Add proof type to universe identifer #1524

Job	Run time
Compilation check	40s
cross compilation	6m 11s
Format check	34s
Docker build check	4m 10s
run itests postgres	8m 11s
run itests	5m 44s
Lint check	2m 58s
go mod check	1m 2s
RPC check	1m 58s
Sqlc check	32s
test vector check	1m 1s
run unit tests (unit-race)	26m 25s
run unit tests (unit-cover)	2m 28s
run unit tests (unit dbbackend=postgres)	5m 19s
	1h 7m 13s

Provide feedback