С сегодняшнего времени смотря на те размышления Ершова, можно говорить о построении онтологии программирования. Или более широко - онтологии ИТ
То есть системы понятий и связей между ними.
Это и будет тот самый лексикон.
Конкретный язык программирования, естественно, не может претендовать на эту роль.