One of the side projects I've been working on attacks this in a different way; what if we efficiently trace every single call point at the Python and C level, i

One of the side projects I've been working on attacks this in a different way; what if we efficiently trace every single call point at the Python and C level, including all arguments, such that we can build up a historic inference of types a given object label had at any point in time.