resolution for types,invariants,data,qualifiers.