Yeah, I was surprised about how big a deal he was making of 'abstractions'. I genuinely can't think of a single real-world developer tool that did not have support for it.

Even UML had support for PSM, PIM, etc.