I've looked into this! The issue with python is dynamic typing... It could be a tractable problem for fully type hinted code, but when your object type can be

I've looked into this! The issue with python is dynamic typing... It could be a tractable problem for fully type hinted code, but when your object type can be meta-programmed from external data, something I've seen SOAP client libraries do (point client class object at WSDL -> call virtual method name on client class -> get arbitrary tree of data objects which have no code representation with specific class types as appropriate)... it can be nigh impossible to fully resolve this. I'd love to have tools to scan what I could, but its remarkably challenging due to the level of meta-programming that Python provides. I admit I'm clearly not as well versed on the topic as you are at this based on looking at your work, so its entirely possible I've missed some obvious tricks that make it easier, but I'm not sure I've got the time any more to tackle a fun new project.