"Algebras/MFE/alg_mfe_macrostate.gap" is the same as Algebras/MFE/alg_mfe.gap, but with a four-tuple as answer type. Unfortunately, this algebra violates Bellman's Principle of Optimality. For details and an example have a look at the file.