yes [Arduino subtraction of "Pin"] is brilliant albeit not new (c/c++ abstraction already existed for decades)
Oh, "abstraction" has been around forever. My point is that programmers (and in particular library authors) still need to pick good things and good ways to create the abstraction. All too often, they fail :-( (implementing "sbi()" in avr-gcc is an example that came up recently in another thread. Logical, useful, efficient; but a terrible example of abstraction.)
except its specific to avr chip family
No, it's not. It's also been implemented on ARM, MSP430, and PIC32 (at least!) Implementing it on your favorite CPU is a good learning experience, because there is more to it than it looks like at first glance.
and the implementation is really inefficient (for that simple IO toggling).
Eh, it's not so bad, for what it is documented to do. It's a bit much when it comes to setting a constant pin number to a constant value (which is pretty common.) That's been solved, too, in at least three different ways, while keeping the "abstraction" part quite similar. (but getting the new code back into Arduino is tougher. I think they're worried that having digitalWrite suddenly become 20x faster for SOME cases might be dangerous. This is probably a valid concern.)