Revert "Make `opt-lambda` type-check without expected type"

This reverts commit f80f82d87b3a8ee2e8172276c0cee819aa91aa54.