M>ВНЕЗАПНО! Появился еще один модификатор, которого до этого не было. Это некий символ ! который объявляет какие-то mutable переменные. Mutable у всех программистов означает "умеющий изменять значение".

Он не внезапно появился, он там и был. Версию не обновлял.
Еще раз, повторение мать учения. Конспектируем.
Есть в системе два предопределенных мутабл переменных ( счетчика ) I и J

Теперь разбираем код с моими комментариями

M>

M>E S:=1              обьявили переменную S (S неизвестный идентификатор, поэтому это и обьявление переменной)присвоили значение

M>E !N:=1..1048576    обьявили мутабл переменную N (N неизвестный .......)

M>E S*=N              уже изсвестной переменной присвоили значение 
M>

M>Итак, что имел автор в виду, когда ввел (без объяснения) некий модификатор "!"? (это, кстати, к вопросу об "ультрапонятности язвыка")

Можно тебя поздравить с новой закорючкой, вроде уже все с синтаксиса рассмотрели. А ну еще квадратные скобки есть