> Technically the language is Turing complete at this point, but will be excruciatingly laborious to use, violating my design rule #2.

I stopped at step #1 with my Lambda Diagrams [1]. The bottom of that page links to all other graphical lambda calculus notations I know of (just added this one).

[1] https://tromp.github.io/cl/diagrams.html