try copattern in cpo, also experiment with Unique
Merge branch 'master' of github.com:crypto-agda/crypto-agda
Merge branch 'master' of github.com:crypto-agda/crypto-agda
Merge branch 'master' of github.com:crypto-agda/crypto-agda
Merge branch 'master' of github.com:crypto-agda/crypto-agda

Conflicts:
	Search/Searchable/Product.agda
added flip to cpo lib