expanded y-combinator factorial