По поводу потертого сообщения о ufcs - оно было отклонено, потому что непонятно, как решать проблему наложения возможных сигнатур методов и свободных функций и в целом усложняет поиск кандидатов
Как следствие это налагает ограничения на рачсширение (добавление новых методов) типов, которые имеют связанные с ними методы расширения. Это чем-то похоже на проблему хрупкой базы