I added the modification from this post to the "quantity theory of labor and capital" (QTLK, aka the "nominal Solow model" without TFP dynamics) to the information equilibrium GitHub repository. The Mathematica notebook starts from the basic labor model of the first link, shows Okun's law, adds capital to obtain the QTLK of the second link, and then finally shows the "improved" QTLK described below.