Well FWIW
this is what I have so far. I've been on and off struggling with the last recursive call where I'm trying to get
(x-1) + (x + (y-1))
from a dyadic link where
+
has arity two and
-
can either be arity one or two with a hardcoded right value. Probably gonna relax for while and see if I do any better later on.