es can call themselves. z× interp ::= (['+' :x :y] => x + y | ['*' :x :y] => x * y | :x ?(isinstance(x, str) and x.isdigit()) => int(x)) rú