Add `ProofIrrel ()`

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