Доработанный компилятор и рантайм, реализующие в  Арвиле протоколы и арки, в мастере (https://gitflic.ru/project/alekseinedoria/trivil-0).

Вот первая арка в нормальном синтаксисе:

Вход в арку (инициализация экземпляра) сделан явным — он состоит из двух частей: инициализатора (такого же, как в конструкторе класса) и произвольного кода (здесь пустой).

Задан единственный метод арки «привет».

Использование арки (пока вручную, без схемы):

Импорт арки нужен для статического подключения к программе. Экземпляр арки создается явно по имени арки [строка 16] (сейчас используется путь импорта). Созданный экземпляр надо подготовить к работе [строка 17], при этом вызывается «вход» арки. После подготовки можно преобразовать к протоколу [строка 19], и если имена/сигнатуры совпадают, то можно вызывать методы протокола [строка 20].

Реализация прототипная, но вполне работающая. Да, два импорта — вывод и строки лишние (не используются) — компилятор пока не ругается на неиспользуемый импорт.