As of today I finally got all of Phobos to compile with DIP1000. The remaining issue is that things sometimes get mangled differently with DIP1000 than without, leading to linking errors. But it's working with all compiled with -dip1000.