Remove redundant `BlockBody ~ AlonzoBlockBody` constraints
Also unorphan, by re-exporting orphan `EraBlockBody` instances from `Cardano.Ledger.Alonzo` and `Cardano.Ledger.Shelley`