data-store WIP
types check out, some test failures
Add UniqueList
FUCK GODDAMN YES PASSING TESTS AGAIN
Whaddya know, quickcheck spotted another bug