State transition machine DSL for running various operations on spar and maintaining internal invariants. At the time of writing this, supported operations on wire teams are: add scim peer, remove scim peer, add saml idp.

See the test cases why all the abstractions and boilerplates may be worth it already, but since the DSL embedding is deep, it is also straight-forward to generate random "programs" and thus get property-based integration tests!