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