This doesn't seem any more esoteric than lambda calculus. In fact I'm not entirely sure that it isn't a notational variant of lambda calculus. It will take so

This doesn't seem any more esoteric than lambda calculus. In fact I'm not entirely sure that it isn't a notational variant of lambda calculus. It will take some more investigation than a quick glance to see what truly distinguishes it.