Eiffel for .NET は

多重継承
総称
agents
covariance

をサポートしてるらしい。
あと SCOOP をサポートすれば完璧。