https://123dok.net/document/y8g1n75z-a-church-style-intermediate-language-for-mlf.html