Describir: Rewriting Techniques and Applications