Stav dette: Quoted staged rewriting: a practical approach to library-defined optimizations