Document domain-restricted types and validated workflows