Add proof type to universe identifer #1454

Job	Run time
Compilation check	45s
cross compilation	12m 53s
Format check	34s
Docker build check	4m 17s
run itests	8m 16s
run itests postgres	13m 4s
Lint check	2m 50s
go mod check	45s
RPC check	1m 35s
Sqlc check	30s
test vector check	1m 31s
run unit tests (unit-race)	6m 18s
run unit tests (unit-cover)	4m 3s
run unit tests (unit dbbackend=postgres)	4m 48s
	1h 2m 9s

Provide feedback