@mdinger, RFC 580 is for renaming the standard collections (not the other parts of the standard library) as they have inconsistently abbreviated names, and my (currently and only slightly) preferred solution is to rename BinaryHeap to BinHeap, which makes it more abbriviated.
Still there are many who favour the no abbriviations here alternative.
And on this topic of renaming dynamic_lib to dylib, I agree with OP. This is a good idea.