A Functional, Aspect-Oriented Workflow Language