I think Elixir is a good candidate here. It's small, coherent, and composes well, and (at least to my understanding) the authors consider the language finished, with no new major features planned.
https://elixir-lang.org/blog/2023/06/22/type-system-updates-...