* 1.0
- test, test, test (and fix bugs)

* post-1.0
- write unit tests, at least for:
  - HashMap
  - Pool
  - SFINAE? (mostly static stuff here, though)
- factor interactivity out of algorithms; could use stream parameter
  (simplistic) to redirect output (and use nullstream to throw it away)
- write functional(?) tests:
  - several runs of owcty/reachability inside the wibble testing framework

* 2.0
- partial order
- promela

* post-2.0: Clustering
- high-performance (tcp-based?) interconnect framework (ala Fifo for
   threads)
-