> We should have "Law of minimal needed abstractions"

We have it. Occam's Razor - the original version:

"entities must not be multiplied beyond necessity"