Remove superfluous uses of M-TLAMBDA&ENV from desolve