Maybe we can transform `lambda` to `Lambda` with sympify?