Брейнфак никому, кроме эзотериков, не нужен.
А ведь из брейнфака действительно уже нечего убрать, то есть идеал с Вашей точки зрения...
А вот если в брейнфак добавить лямбды...
Лямбды это не синтаксис :-) (хотя без дОлжного синтаксиса они бессмысленны).
Кстати, действительно интересно - брейнфайк ведь по сути язык машины Тьюринга. Лямбды там действительно некуда засунуть. Императивные языки растут из машины тьюринга же, но чем выше уровень императивного языка, тем более уместными кажутся там лямбды.
Причем в функциональных языках аналогично - чем выше уровень функционального языка, тем более уместны там простые последовательности действий, процедуры.
То есть высокоуровневый язык позволяет абстрагироваться от самой сути исполнителя - становится все равно, тьюринг машина у нас там внизу, или же лямбда-термы разворачиваются. Позволяет использовать те абстракции, инструменты, которые нам удобны здесь и сейчас.