compiler and runtime support for lambdas