Cell

Flexible entirely-structural type system, orthogonal persistence, transactions, integrating with primary language (C++, Java, C#).