Add okToCollapse for derived symbol collapsing.
Fix withExtraDownstreams to restore downstream state.
Get lambdas to look inside returned lambdas.
Give lambda.k3 variables more distinct names.