Working suite of combinators, and a basic suite of tests.