For a schema for modeling and automatically exploring sentences of a language with programs to automated take a look at synthesis Like models are abstractions of some actuality, metamodels are abstractions of products. The continuation on the abstraction causes meta metamodels, getting styles of metamodels containing statements about metamodels. Metamodeling https://www.youtube.com/watch?v=5LF34uf-LC4