compile/workflow-shape

Generated from the language definition for language 1.0.

Summary: a workflow is missing its initial state or its states list

Fix: write initial <State> and states <State>, …