Rewrite the build system with Oasis. Re-organize the source tree.
Use Batteries as stdlib.