Language interpreters are programs themselves. If implemented as software libraries, interpreters can include bindings to themselves. This could provide an elegant form of reflection.
Explicit efficiency vs. reuse tradeoffs should go the way of C's "register" annotation. Compilers should be able to figure out when a method can be non-virtual.
Forwarding has benefits over inheritance, and could very well replace inheritance.