Добавлена функция создания выражения из объявления анонимной функции.
Добавлены дествия при свертке выражений.
Добавлены типы для не терменальных символов, необходимых для сввертки выражения