Rename decreaseKey -> modifyValue