For bringing us back to Modula-2?

Elaborate.

I don’t think PL theory driven design produces good systems languages.

Rust as it exists today is very much "PL theory" driven. It's not necessarily a good language, but it's been consistently ranked as the #1 "most loved" by Stack Overflow for the past few years.