I would bet that, especially outside of library code, 95+% of the typed objects are only interacted with using a single interface. These could be turned into st

I would bet that, especially outside of library code, 95+% of the typed objects are only interacted with using a single interface. These could be turned into structs with direct calls. Outside of this, you can unify the types. You would take every interface used to access the object and create a new type that has all of the members of both. You can then either create vtables or monomorphize where it is used in calls. At any point that analysis cannot determine the actual underlying shape, you drop to the default any.