Persistency with TX.
Use catchIO from Welshy to handle TX exceptions.
Type-safe ids using newtype with phantom type.
Build with threaded runtime.
Change executable name to "todo-example".
Update readme.