eu acho que esse compotamento deveria ser o ideal tudo ser por interface, é um sistema muito mais proximo do lado funcional como haskell e ocaml do que parecido com c++. coisa que rust pegou do funcional, apesar de n ser funcional, muito de seus conceitos relacionados a tipo vem de lá, e haskell para as pessoas que estudam design de linguagens, criação de linguages geralmente é considerado um dos melhores design de tipos ( e eu nem gosto de haskell)

se tratando de OO penso muito parecido com o a ideia do "Elegant Objects" e com o James Gosling(criador do java) que se arrependeu de adicionar herança ( o problema que ele tem é o uso execessivo de herança, como ele não achou uma solução para isso ele acha que teria sido melhor nem ter adicionado ela)

mas pelo visto temos conceitos completamentes diferentes de o que é um bom design de linguagem(o que vc acha ruim/problematico, eu acho bom e vantajoso) então dificilmente chegaremos em algo, apenas concordaremos em discordar