corrections pertaining to lambda abstractions with constant paramaters