Goal "rev(rev xs) = xs";
