OTOH, the example in the OP has somewhat the flavor of the hard problem you just sketched. The tree-based (RPN-esque) notation itself gets around much of the "

OTOH, the example in the OP has somewhat the flavor of the hard problem you just sketched. The tree-based (RPN-esque) notation itself gets around much of the "perturbed program fails to compile" problem.