Пока в варианте: селектор хранится на стеке данных, проверяются все ветки, независимо от выполнения условий предыдущих. Селектор будет на отдельном стеке специально для case, с проверкой веток альтернативой является переход на ENDCASE сразу после выполнения любой из веток.
На сайте еще не обновлено.

DROP перед ENDCASE требуется ?

Нет.

осталось спросить, где это взять

Quark регулярно выкладывается на www.msyst.ru/quarkexe.zip. Эта версия пока не выложена, поскольку переделываю на хранение переменной-селектора на отдельном стеке (а то за балансом придется следить). Про обновление напишу.

т.е. предполагается и вложенность. Какой глубины?

Нууу..... 32 хватит?

Думаю, да
Бывало у меня "внутренняя таблица компилятора переполнилась" (для С)

А как насчет вставки действий на случай невыполнения всех условий - сделать планируется?

Оно автоматически получается.

Мы попадаем всегда или только в случае невыполнения?

Сейчас - всегда. Если переделаю ENDOF на переход вперед, а ENDCASE при трансляции соберет все эти переходы на себя, то первая же выполненная ветка исключит остальные.

В нынешнем варианте нужно обязательно предусмотреть все варианты, т.е. создавать исчерпывающий case, т.к. default C-шный не является аналогом того, что есть, т.е. вместо

мы имеем
не совсем обычно
хотя, конечно могут быть задачи, при которых так удобнее и я даже догадываюсь какие
но привычнее когда в С-шном аналоге после каждого случая ( case или of - endof ) break

BREAK можно отдельно, вместо ENDOF. То есть как альтернативу, с возможностью закрыть ветку либо одним, либо другим словом.

да, хорошо бы