Add ID_lambda expression

[danpoe]

An ID_lambda expression is used in cbmc/develop but there is no corresponding expression type in std_expr.h. A new expression type should be added and the code in cbmc/develop refactored to use it instead of plain exprt.

[kroening]

BTW, in #3641

[tautschnig]

Closing as #3641 has been merged.