All of this looks amazing. There have already been several good suggestions here. Is there a reason that we have n-ary decider combinators but only binary arithmetic combinators? The argument for n-ary combinators seem to apply for both. ... and another wish... red and green wires are really tough f...