New let float pass using PIR.freevars

Forgot to recurse the removeLets inside the rhs bindings

WIP: separated depth and scope reader

WIP: fixed remaining bugs

NewLetFloat: fixed accumulating letholes, fixed depth-calc of mark

Fixed floatBack to recurse inside the floated-lets rhs'es

Don't store the Recursivity for LetHoles

NewLetFloat: when calculating freevars look into bindings' types

Author: bezirg

nix/pkgs/haskell/materialized-darwin/.plan.nix/plutus-core.nix

@@ -132,7 +132,7 @@ library
         PlutusIR.Transform.Beta
         PlutusIR.Transform.DeadCode
         PlutusIR.Transform.Inline
-        PlutusIR.Transform.LetFloat
+        PlutusIR.Transform.NewLetFloat
         PlutusIR.Transform.LetMerge
         PlutusIR.Transform.RecSplit
         PlutusIR.Transform.NonStrict
@@ -291,7 +291,6 @@ library
         mmorph -any,
         monoidal-containers,
         mtl -any,
-        nonempty-containers -any,
         parser-combinators >= 0.4.0,
         prettyprinter >=1.1.0.1,
         prettyprinter-configurable -any,

nix/pkgs/haskell/materialized-darwin/default.nix

@@ -41,8 +41,8 @@ import           PlutusIR.Error
 import qualified PlutusIR.Transform.Beta            as Beta
 import qualified PlutusIR.Transform.DeadCode        as DeadCode
 import qualified PlutusIR.Transform.Inline          as Inline
-import qualified PlutusIR.Transform.LetFloat        as LetFloat
 import qualified PlutusIR.Transform.LetMerge        as LetMerge
+import qualified PlutusIR.Transform.NewLetFloat     as NewLetFloat
 import qualified PlutusIR.Transform.NonStrict       as NonStrict
 import qualified PlutusIR.Transform.RecSplit        as RecSplit
 import           PlutusIR.Transform.Rename          ()
@@ -126,8 +126,8 @@ simplifyTerm = runIfOpts $ simplify'
 
 -- | Perform floating/merging of lets in a 'Term' to their nearest lambda/Lambda/letStrictNonValue.
 -- Note: It assumes globally unique names
-floatTerm :: (Compiling m e uni fun a, Semigroup b) => Term TyName Name uni fun b -> m (Term TyName Name uni fun b)
-floatTerm = runIfOpts $ pure . LetMerge.letMerge . RecSplit.recSplit . LetFloat.floatTerm
+floatTerm :: (Compiling m e uni fun a) => Term TyName Name uni fun b -> m (Term TyName Name uni fun b)
+floatTerm = runIfOpts $ pure . LetMerge.letMerge . RecSplit.recSplit . NewLetFloat.floatTerm
 
 -- | Typecheck a PIR Term iff the context demands it.
 -- Note: assumes globally unique names