revise cardinality format; add errorp arg to resolve-uml; add name-error, name-error-name, and name-not-found; prospective 'profile' arg on def-uml-type