OP, this seems cool and might be of use to you when you include functions: http://en.wikipedia.org/wiki/Binary_lambda_calculus http://en.wikipedia.org/wiki/Bina

OP, this seems cool and might be of use to you when you include functions: http://en.wikipedia.org/wiki/Binary_lambda_calculus http://en.wikipedia.org/wiki/Binary_lambda_calculus