fix SemiSequence definition of DList