improve description of 'foldr' and 'cons'