> It's the higher-level languages that are more general.

This is still false. Rust, for instance, is higher-level than C, while being less general - the borrow-checker constrains you from being able to do certain things. Haskell is even higher-level and even more restrictive.

The most general "programming language" is a Turing machine. Not coincidentally, it's also the least useful, and nobody programs in it.

This reinforces my point that "more general = more useful" is false.