The problem isn't syntax. Its semantics, lifetime analysis. Being able to specify memory allocators has long been desired, but getting it actually working... that's the hard part. A large part of it is indirection issues in memory lifetime. Currently not a solved problem for us.