Add `ProofIrrel ()`

This instance might seem odd, but ProofIrrel takes a Type and not a Prop, and stdpp already has instances for products.

Makes sense. Thanks. Merging.

mentioned in commit afa23fd2

merged