Five Years of Trying to Add Recursion to Lychee

Any attempts with dynamic programming? Backtracking? A kind of pseudo-macro language to express the need declaratively?