https://123dok.net/document/1y9v3prq-coqtl-an-internal-dsl-for-model-transformation-in-coq.html