I don’t have much experience with CL, but I was always a bit put off by a mixture of different paradigms it has, ie it’s not being a pure or kinda pure functional language.

I meant regarding types, I think the equivalent to the other link would be Coalton: https://github.com/coalton-lang/coalton