как ты представляешь вообще программу, которая делает "казнить нельзя помиловать"? Что она должна делать

Я ж говорю не об абсолютном ЕЯП, это возможно только теоритически. Я имею ввиду просто замена непонятных для обычных людей "надписей" на понятные слова. Естественно, необходимо чёткое соблюдение синтаксиса.

Еще одна не мало важная причина: запись программы в гипотетическом ЕЯП настолько громоздка, что отлов ошибок в больших текстах невозможен впринципе. Значимость этого фактора (объем кода программы) доказана десятилетиями развития ЯВУ, где языки более "человеко-ориентированные" типа Basic, Algol, Pascal, Delphi так и остаются уделом студентов, а языки с техническим синтаксисом типа С и его наследников развиваются и множатся как грибы после дождя.