That mostly seems correct, but Zig will be an interesting one to watch due to the approach of having powerful compiletime execution. I.e. Zig doesn't have generics in the traditional sense, but you can get them by writing normal code which creates types for you at compiletime. The promise would be that you can get more advanced features without adding complexity to the language, i.e. like in Rust where you have to basically understand the AST in depth to be able to write macros. We'll see if it pans out.

Also for instance Go has been able to stay relevant while staying very small. Complex languages can help with complex projects if there is a good program structure, but one advantage of simple languages is there is only so much of a mess which can be made if developers go a bit off the reservation.

Yeah this is not my experience. Enterprise distributed systems are much easier in erlang and elixir, which are simple languages, over java, which is not.