[mannykannot]

I am sure you are right about the big picture. Library inclusion has leverage, and library code is written for the general case. Templates provide a way to specialize the code that is built, but I imagine that cross-cutting concerns ultimately limit the degree to which you can create generic code that compiles to exactly what you want, and nothing more.