Cherry pick ValueOrTombstone from Charles' PR
Use ReductionFold instead of Reduction