Eliminate the record extension operator from the Value type returned by the partial evaluator