[Peras] The big PR - #2067

[Peras] The big PR#2067

agustinmista wants to merge 2 commits into

peras/use-injective-type-familiesIntersectMBO/ouroboros-consensus:peras/use-injective-type-familiesfrom

peras/the-big-prIntersectMBO/ouroboros-consensus:peras/the-big-prCopy head branch name to clipboard