Обещает, не обещает, но разрешает! А я верю! Верю в силу формализма!
Формализовать так, чтобы всё схлопнулось, можно и особо не заморачиваясь: "любая сущность - это объект" :)
Было бы круто, чтобы докопались в русле Хомского и смогли адекватно и подробно описать, что общего во всех-всех-всех языках и как именно язык встроен в наше мышление. Но мне кажется, что на таком уровне абстракции будет виден уже только лес, но не деревья. А если смотришь именно на деревья, то можно описывать только какие-то закономерности для большинства, а что-то неизбежно будешь упускать.