Your example reminds me of Binary Lambda Calculus [0]:

[0] https://tromp.github.io/cl/Binary_lambda_calculus.html