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