chore: rename `UIntX.ofNatCore`, `UIntX.ofNat'` -> `UIntX.ofNatLT`#7071

Merged

TwoFX merged 3 commits intomasterfrom markus/uintx-ofnatlt-3

Feb 14, 2025

+52-81

Commits on Feb 13, 2025

WIP
TwoFX
committed
Fix
TwoFX
committed

Commits on Feb 14, 2025

tests
TwoFX
committed