Fold the normalize-lambdas phase into the simplify phase