Relational lambda calculus interpreter.