I'm in a fourth category. I just want a simple imperative language with a solid type system that is reasonably fast. While Rust isn't simple, I don't know any

I'm in a fourth category. I just want a simple imperative language with a solid type system that is reasonably fast. While Rust isn't simple, I don't know any other languages that fill this space.