Add the special operator `lambda' and its application