Generalized data structure synthesis
blog.acolyer.org
blog.acolyer.org
* A programming language
* It has values
* Those values include maps
Then it sounds like this technology would be able to print fully-formed valid modules for your language! A very cool thing that is worth investigating in more detail.