Part of me is sad, because this was by far the best version of lazy import I’ve seen. But reading the SC’s explanation I have to agree with their decision.
I wonder if there would be a hook that could be added so that this could be implemented as a 3rd party extension? That would probably be tricky because it would require changing dict objects, which are very fundamental ( they are in fact Python’s most important data strip).