WyC: added support for parsing lambda expressions