At some point, we should organize Peras-specific modules in `ouroboros-consensus` under a sensible namespace like `Ouroboros.Consensus.Protocol.Peras`.