Изменения

Expression \Lambda \to ApplicationA\ \lambda\ VariableV\ .\ Expression\Lambda\ |\ \lambda\ VariableV\ .\ Expression\Lambda\\Expression \Lambda \to ApplicationA\\Application \to ApplicationA@Unary\ |\ Unary\\Unary \to '('\ Expression\Lambda\ ')'\ |\ VariableV\\Variable V \to Char+\\

Связанные переменные '{{- --}} это аргументы функции. То есть для функции они являются локальными.