Rewrite DAdd and DSlice tests
Remodel PCon and PSeq
This is better