Metatheory: add Value built-in type with postulated functions#7832

basetunnel merged 6 commits into

masterIntersectMBO/plutus:masterfrom

basetunnel/metatheory-valueIntersectMBO/plutus:basetunnel/metatheory-valueCopy head branch name to clipboard