Update build-package-data.docx to match Package.hs
Minor revisions (add comments, move Condition to Oracles.hs).