Moving lift and lower to Lamba/ExprLift.