Describir: Generative Templates for Formal Metamodel Design