fix: Resolve types in Values and custom consts

[aborgna-q]

Collects and resolves extensions in the types stored inside a Value. This includes the specified type of a Sum and other cached types.

Since we expect CustomConst's get_type method to always return signatures computed by a binary definition.

For some reason there's a random test on hugr-py that starts failing when we enable this:

=================================== FAILURES ===================================
______________________________ test_higher_order _______________________________
Error parsing package: Error resolving opaque operation: Error in signature of operation 'prelude.Noop' in Node(3): Type arguments of node did not match params declared by definition: Wrong number of type arguments: 0 vs expected 1 declared type parameters

The fix for #1774 that I'm submitting immediately after this PR fixes it so I'm skipping the test in this PR 🤷
I'll open an issue to investigate further after we make the release

[codecov]

Codecov Report

Attention: Patch coverage is 78.33333% with 13 lines in your changes missing coverage. Please review.

Project coverage is 86.69%. Comparing base (5f5bce4) to head (0400335).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
hugr-core/src/extension/resolution/types_mut.rs	62.85%	10 Missing and 3 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1779      +/-   ##
==========================================
- Coverage   86.73%   86.69%   -0.05%     
==========================================
  Files         186      186              
  Lines       33990    34035      +45     
  Branches    30865    30910      +45     
==========================================
+ Hits        29481    29506      +25     
- Misses       2840     2857      +17     
- Partials     1669     1672       +3     

Flag	Coverage Δ
python	92.35% <ø> (-0.23%)	⬇️
rust	86.12% <78.33%> (-0.03%)	⬇️

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.

[ss2165]

thanks for the nice comments :)

[ss2165]

nit: looks like the braces are no longer necessary