The encoding is Iota.
Minor cleanup
Fun with Combinators.
Model Logic Circuits.