Surely what we need, the thing that would make focused innovation easiest, is the ability to implement Go's concurrency model in an existing language?

Which we have. Several groups have done this. eg http://docs.paralleluniverse.co/quasar/