[empath75]

Seems like lambda calculus would have been a more natural thing to implement since it’s basically just symbol substitution.