corrections affecting constrained lambda abstractions