Workflow Types for Business Processes