I think the memory management issue can be addressed by using reference counting semantics in the language (wrt aliasing, scoping and weak vs strong references)

I think the memory management issue can be addressed by using reference counting semantics in the language (wrt aliasing, scoping and weak vs strong references). That maps well to both manual management and garbage collection. Some more searching the web lead me to Haxe. I'll have a look at how they handle these issues.