Без заголовка
В Forth есть свой kernel: стек, последовательность выполнения, литералы, базовые слова (dup, swap, ...). В лиспах тоже есть основные функции, а остальные элементы языка дорисовываются макросами. Во многих других языках граница между kernel и стандартными библиотеками более заметна.
Это самые важные вещи. Пока нет определений "что такое число" или "что такое строка", то нет ни только автоматизации, но и даже возможности машинно записать данные о том самом насосе.