Add swapConstDown with proof