Benjamin Thaut:
http://3d.benjamin-thaut.de/?p=20#more-20
Regardind your issues list, most of them are fixable, like the one regarding array literals, and even the one regarding the invariant handler.
But I didn't know about this, and I don't know how and if this is fixable:
The new statement will not free any memory if the constructor throws a exception.<
Insights welcome. Bye, bearophile