Rearranged the function graph functions and iterators to match refinement concepts as they are seen on the web page.