Preserve type annotations during normalization

[timsueberkrueb]

See #341. We now dismiss type annotations during unification, i.e. only after normalization.

[codecov]

Codecov Report

Attention: Patch coverage is 37.00000% with 63 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
lang/elaborator/src/normalizer/val.rs	27.27%	32 Missing ⚠️
lang/elaborator/src/normalizer/eval.rs	34.04%	31 Missing ⚠️

Files with missing lines	Coverage Δ
lang/ast/src/exp/anno.rs	90.38% <100.00%> (+9.61%)	⬆️
lang/elaborator/src/normalizer/env.rs	87.36% <ø> (+0.91%)	⬆️
lang/elaborator/src/result.rs	34.54% <ø> (+1.78%)	⬆️
lang/elaborator/src/unifier/unify.rs	86.16% <100.00%> (+1.29%)	⬆️
lang/elaborator/src/normalizer/eval.rs	77.82% <34.04%> (-7.21%)	⬇️
lang/elaborator/src/normalizer/val.rs	44.47% <27.27%> (-0.24%)	⬇️

... and 1 file with indirect coverage changes

---

🚨 Try these New Features:

• Flaky Tests Detection - Detect and resolve failed and flaky tests
• JS Bundle Analysis - Avoid shipping oversized bundles