Без заголовка
Доделать-то доделали... Ввожу свою любимую задачку, содержащую в формулировке двойное применение функции: f(f(x)). Она сначала заменяет это на "более удобную" запись f(x)², а потом забывает, что имелось в виду, и считает её возведением в квадрат. Это к вопросу о DSL и традиционной математической нотации. ;-)
... Три категории предвкушения чего-то приятного ...