WyC: minor bug fix for syntax of lambda expressions.