I agree with you, and am all in on a solution. It has to be part of the language itself: https://hale-lang.org/docs/claims/