Revert "spell out syntactic sugar for lambda"

This reverts commit 43ff7cfea74b9435b30b0fd36bbe2d9c586ab7fa.