Add validity rules to ADL document

The current version of the ADL document does not include semantics validation
rules, only syntax rules. No rules are given for example for whether an archetype is
valid if a term is mentioned in the body which is not in the ontology section, or
if a term in the ontology section is not used.