Added a (currently-passing) test for WPDSs
Ignore a bunch of stuff
Do some warning squashing: mostly add UNUSED_PARAMETERs
Split tests of KeyedSemElemSet and PositionKey into separate files