Spike out some of the initial behavior

* Workflows for valid, invalid statements
* Set up the underlying models
* Set up test suite