That sounds like library writers being able to bake in optimizations (rewrite rules) into their libraries. Which makes sense; you distribute the optimizations t

That sounds like library writers being able to bake in optimizations (rewrite rules) into their libraries. Which makes sense; you distribute the optimizations to domain experts (like data structures) instead of just having general optimizations that the compiler writers had time to add.