Normalized Vector (logical refinement type)

[connortsui20]

Summary

Tracking issue: #7297

Adds a new NormalizedVector logical extension type, which is a refinement type of Vector where all vectors are unit-normalized (with some tolerance).

It is unclear if there is a better way to represent refinement types in the Vortex type system, as there is a lot of boilerplate code that we need to add just to support this relatively simple invariant.

Testing

Basic testing.

[codspeed-hq]

Merging this PR will not alter performance

✅ 1163 untouched benchmarks
⏩ 1462 skipped benchmarks¹

---

_{Comparing ct/normalized-vector (75b0ce9) with develop (9fe20c5)}

Footnotes

1. 1462 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩