On a lark I implemented it in recursive style, but I'm not going to keep it that way. I have to implement next_term() first and then I'll uncomment i_joy_combinator().