feat!: TypeParams in TypeArg

[zrho]

Closes #2295.

[hugrbot]

Hey there and thank you for opening this pull request! 👋

It looks like your proposed title indicates a breaking change. If that's the case,
please make sure to include a "BREAKING CHANGE:" footer in the body of the pull request
describing the breaking change and any migration instructions.

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 24 lines in your changes missing coverage. Please review.

Project coverage is 82.31%. Comparing base (e9c5e91) to head (4a355b0).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
hugr-core/src/types/type_param.rs	0.00%	12 Missing ⚠️
hugr-core/src/import.rs	0.00%	9 Missing and 1 partial ⚠️
hugr-core/src/export.rs	0.00%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2308      +/-   ##
==========================================
+ Coverage   82.29%   82.31%   +0.02%     
==========================================
  Files         242      242              
  Lines       43628    43613      -15     
  Branches    39466    39451      -15     
==========================================
- Hits        35902    35901       -1     
+ Misses       5754     5742      -12     
+ Partials     1972     1970       -2     

Flag	Coverage Δ
python	85.48% <ø> (ø)
rust	81.98% <0.00%> (+0.02%)	⬆️

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.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[zrho]

Closed in favour of #2309.