Purely functional BDD library.