Metatheory: use Fin instead of nested Maybe for representing variables#7486

basetunnel merged 3 commits intomasterIntersectMBO/plutus:masterfrom

basetunnel/metatheory-maybe-to-finIntersectMBO/plutus:basetunnel/metatheory-maybe-to-finCopy head branch name to clipboard