Prettyprinting of lambdas
