With some of the implementation mechanisms exposed, we can better discuss the language design itself.