Technical notes

• With RuleReplace6ForAsMany3AsTheValueToTheNthRight I've tried to replace all if-then-else with Either. The result is a chain of work, without any explicit if but with implicit conditional behavior

• In 384e74e4, there might be some concept related to the Gas in Ethereum: an entity needed to be able to run the function. In this analogy, a Rule is similar to a Smart Contract.