> If I had one thing I want fixed about Scheme it would be the dynamic typing

The ML family or Haskell fit that bill. Both OCaml and Haskell also have an equivalent of macro systems. So does e.g. Rust, for that matter.

I agree with your main point. The attitude you’re referring to is largely a relic of a previous era, at this point.