added pretty printing of lambdas