Reading this makes me think of "stratified"[0] design, which I think is a good example of abstraction done right.

[0] - https://medium.com/clean-code-development/stratified-design-...