Update README
Make recursive effective for cons.