Design doc on a workflow language