Yet another lambda calculus language.