Конструкции описания переменный и функций. Well-formedness, вывод значений по умолчанию. Статическое и динамическое связывание свободных переменных. Операционная семантика статического связывания.