Rename typedef Value to ProductValue in most places