Ultimate OOP

Why can't there be a programming language that supports the Ruby idea of making everything an object, but at the same time use C++ features like copying with marshaling (I don't know whose idea it was to make everything in Ruby a pointer, but it makes making hard copies a bitch), multiple inheritance and constructor overloading. Furthermore, why can't said language be made to compile down to assembly like C and C++, rather than the vast majority of Object Oriented languages which run in an interpreter?

As long as it's statically typed, it would be relatively trivial- even moreso if you simply translate the high-level-language-with-good-syntax down to C++ and then use g++. But no one has done it yet, low hanging fruit IMO.