Pošalji tekstualnu poruku: Quoted staged rewriting: a practical approach to library-defined optimizations