SL>Скомпилированный бы код включал код из класса как "родной"

SL>Конечно, эти методы класса A скорее всего не зависели бы от внешних переменных и тем самым напоминали бы статические методы или классы расширения,
А можно чтобы они содержали в себе ещё и переменные, которые бы тоже включались в наследника...

Ты практически придумал Mixin. Нужен ещё интерфейс, иначе не получится сделать приведение типов. Как компилятору приводить класс C к типу A, если он объявлен как C : B, include A. Так что нужно чтобы A был объявлен как реализующий некий (оптимально если выводящийся из самого объявления A) интерфейс IA.

SL>Как бы вы относитесь к такой возможности языка c#?
В C# не думаю что эта фича появится — ибо надобность в ней не столь велика. Вон memberof или infoof добавить не могут. Ну и само собой — в Nemerle уже есть, притом делается хоть пятью способами. Но честно говоря мы на здоровенный проект только несколько раз таким образом шарили код между классами, так что даже синтаксис вроде include не вводили, чисто копирующий аттрибут на скорую руку слепили.