Я бы убрал:
невидимость переменных от начала процедуры до точки объявленияглобальные переменныевложенные процедурыLOOPRETURNуказатели, кроме указателей на запись
Я бы добавил:
тип STRINGчеткое деление на процедуры и функции - с автоматическим предотвращением побочных эффектов в функцияхатрибут INLINE для процедур и функцийатрибут переменной RESULTатрибут формального параметра процедуры OUT (как в Ada)автоматическое предотвращение использования неинициализированных переменных