Added pretty-lambdada.