Так все дослушал, ребенка помыл. По поводу пропозала с мультиресиверами. Там есть несколько не вполне понятных моментов: * Как лямбды обозначаются. Ну более или менее понятно, но все-таки * Как осуществляется разрешение типов * Как быть если в ресиверах дженерики и их надо разрешать
Нет, ну это как раз понятно, это и во всех пропозалах есть. this@A. unqualfied this или вообще запрещен или указывает на ближайший контекст. В схеме с with думаю, что проще запретить