Add recursive and Y combinator