Rename proof_irrelevances.v to decidables.v