https://123dok.net/document/yev1km3r-bidirectional-transformations-deltas-dependently-typed-approach-talk-proposal.html