Patch for issue #3051. Supports sympification of lambda

This patch enables Sympy to parse "lambda" statements and convert them to Lambda() type supported by Sympy.