let
lambda varname expr =
`
Lambda
(make_id (
`
Of
(varname, expr)), varname, expr)