Document the BDD interface

Part of #39