SCP-2693: New let float pass using PIR.freevars (IntersectMBO#3823)

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

Clean up, refactor

More refactoring

Changed from unmovable to floatable

Formatting

Rewrite removeLets to use Writer

Rewrite mark to use Writer

Make MarkCtx a datatype

Make Pos a datatype

PR adressing

semigroup annotation joining

update nix+fixstylishhaskell

Co-authored-by: Nikolaos Bezirgiannis <[email protected]>

Author: bezirg

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

@@ -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,