Describir: Rule Interchange and Applications