Remove era prefix from rule names#5859

Lucsanszky wants to merge 13 commits into

ldan/remove-rules-reexportsIntersectMBO/cardano-ledger:ldan/remove-rules-reexportsfrom

ldan/era-prefix-removalIntersectMBO/cardano-ledger:ldan/era-prefix-removalCopy head branch name to clipboard