APPROVED Jeremy J. Carroll daml:disjointUnionOf did not make it into OWL.