Fix errors in UML & specs of Identification package

In the rm.support.identification package, some classes
have functions with cardinality markers. Probably the invariants
need to be altered as well.