For whatever reason it finally occurred to me that when I get back into building my "Alonzo" visual functional programming language...
I should write some trivial logic to synthesize new branches, so I can start writing Alonzo programs & see if they typecheck correctly!
0.5/2!