You didn't mention what is the most important IMO. In D, most data are thread local. Shared data are either shared or immutable. Both thread local data and immutable data lead to very interesting GC optimisations. This is where we need language support.