can anybody rec a programming language that has what I like about forth (simple mental model, concatenative, easy to implement) but does better in the areas I think forth sucks (has an actual type system, strings, structured data, structuring larger programs, and can interop with existing libraries better)?