Add a snoc reverse example