(pictures) display bindings to lambdas as scheme formulas defining them