sharedCanonicalTypes

A canonical mapping of all object types that have become shared. Without too much runtime cost, this should reduce the memory footprint, as well as improve the efficiency of the VettingsCache, stored inside each ObjectDescriptor that has been compared against a shared object type.