Ability to dynamically change object's mixin characteristics would be helpful for implementing languages with dependent types.

Main issue with such schemes can be performance. So there should be a way to generate optimised byte code as well as optimise this translation.