The funny thing is that what we'd really need and lack of is inlining an abstraction. If we could just systematically broke down the abstraction hierarchy and r

The funny thing is that what we'd really need and lack of is inlining an abstraction. If we could just systematically broke down the abstraction hierarchy and rebuild it from the ground when needed with a helper tool, then many issues would go away. The stress is on "systematically" & "helper tool". Sure you are smart and you can do it but its easy to forget about cases. Coding is not hard at all from this perspective, not to forget about any case is hard - and tedious - can be automated for sure.