Feat: Remove experimental type refinement

[JSAbrahams]

Summary

Probably way too complex for now, and probably does not really solve any particular issue.
Also clashes somewhat with the design philosophy.

Added Tests

Mostly removed tests which conained outdated type

[codecov]

Codecov Report

❌ Patch coverage is 83.33333% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 91.28%. Comparing base (383d3ed) to head (1460b90).

Files with missing lines	Patch %	Lines
src/check/constrain/generate/mod.rs	50.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##           develop     #492      +/-   ##
===========================================
- Coverage    91.29%   91.28%   -0.02%     
===========================================
  Files          113      113              
  Lines        15823    15598     -225     
===========================================
- Hits         14445    14238     -207     
+ Misses        1378     1360      -18     

Files with missing lines	Coverage Δ
src/backend/python/convert/class.rs	87.35% <100.00%> (-0.37%)	⬇️
src/backend/python/convert/mod.rs	95.47% <100.00%> (ø)
src/check/ast/mod.rs	100.00% <ø> (ø)
src/check/ast/node.rs	99.16% <ø> (-0.04%)	⬇️
src/check/constrain/generate/class.rs	79.59% <100.00%> (-2.67%)	⬇️
src/check/context/clss/generic.rs	94.20% <100.00%> (-1.08%)	⬇️
src/check/context/generic.rs	97.87% <ø> (ø)
src/parse/ast/mod.rs	85.29% <ø> (ø)
src/parse/ast/node.rs	90.34% <ø> (+0.53%)	⬆️
src/parse/block.rs	100.00% <ø> (ø)
... and 5 more

... and 3 files with indirect coverage changes

🚀 New features to boost your workflow:

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