choreo 0.12.0

DSL for BDD type testing.
Documentation