todo.txt

* provide abstraction for (and/c (listof some-contract)

* provide abstraction for (and/c (listof some-contract)
                                 (listof-unique/c some-equality-predicate))