feat: MakeTuple->UnpackTuple elision pass (#2012)

Imports the `MakeTuple -> UnpackTuple` elimination pass from tket2.
This removes tuple unpacks consuming the output of a `MakeTuple`, and
deletes the packing operation when possible.

This pass *does not* remove the reverse case, `Unpack->MakeTuple`.
Should it be added here? We should avoid producing overlapping rewrites
if doing that (the simple `Pack->Unpack->Pack` case is easy, but
multiports can make things interesting).

Requires #2011
Closes #1810

Author: aborgna-q

Cargo.lock

@@ -19,6 +19,7 @@ bench = false
 hugr-core = { path = "../hugr-core", version = "0.15.2" }
 portgraph = { workspace = true }
 ascent = { version = "0.8.0" }
+derive_more = { workspace = true, features = ["display", "error", "from"] }
 itertools = { workspace = true }
 lazy_static = { workspace = true }
 paste = { workspace = true }

hugr-passes/Cargo.toml

@@ -12,6 +12,7 @@ mod half_node;
 pub mod lower;
 pub mod merge_bbs;
 mod monomorphize;
+pub mod untuple;
 
 // TODO: Deprecated re-export. Remove on a breaking release.
 #[deprecated(
@@ -36,3 +37,4 @@ pub mod validation;
 pub use force_order::{force_order, force_order_by_key};
 pub use lower::{lower_ops, replace_many_ops};
 pub use non_local::{ensure_no_nonlocal_edges, nonlocal_edges};
+pub use untuple::UntuplePass;