Added a missing word in the lambda section of syntax.scrbl