Add validity check for cardinality & occurrences

Alberto Maldondo@valencia polytechnic, spain:
Attribute cardinality in an archetype should be valid with respect to the
occurrences of object nodes beneath it, and vice versa.