Fix push typechecking of lambda abstractions.