feat!: Add more list operations

[aborgna-q]

Closes #1467.

Blocked by #1469

BREAKING CHANGE: ListOp::pop now returns an option.

[codecov]

Codecov Report

Attention: Patch coverage is 72.29730% with 41 lines in your changes missing coverage. Please review.

Project coverage is 87.18%. Comparing base (9698420) to head (68f6225).
Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
hugr-passes/src/const_fold/test.rs	0.00%	28 Missing ⚠️
hugr-core/src/hugr/rewrite/replace.rs	0.00%	7 Missing ⚠️
...r-core/src/std_extensions/collections/list_fold.rs	90.76%	0 Missing and 6 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1474      +/-   ##
==========================================
- Coverage   87.95%   87.18%   -0.77%     
==========================================
  Files         125      125              
  Lines       21116    21222     +106     
  Branches    18272    18380     +108     
==========================================
- Hits        18572    18503      -69     
- Misses       1760     1945     +185     
+ Partials      784      774      -10     

Flag	Coverage Δ
python	92.54% <ø> (-0.01%)	⬇️
rust	86.36% <72.29%> (-0.88%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[aborgna-q]

I removed all panicking operations, as they can be defined from checked ones (with an if and a standalone panic).

I also reduced the set of operations to a core one. This gets rid of the equality checks problem.

I moved the option/result definitions to it's own PR (#1481). I'll rebase on top of it.

[ss2165]

regarding panicking, how about adding a generic unwrap: forall R, E. [R, E] -> R function to the guppy prelude? Maybe guppy needs better Sum support first?

[aborgna-q]

It seems I'll actually need an unwrap to fix this test in hugr.

hugr/hugr-passes/src/const_fold/test.rs

Lines 126 to 131 in 602fa86

	#[test]
	#[cfg_attr(
	feature = "extension_inference",
	ignore = "inference fails for test graph, it shouldn't"
	)]
	fn test_list_ops() -> Result<(), Box<dyn std::error::Error>> {

(It was skipped due to some inference error, but it works now).

I'd prefer to skip it temporarily, and add the unwrap in a separate PR.

Or do you think it should be exclusively a guppy definition?

[ss2165]