A bunch of work on the Sep3 chapter. I cut it down a lot, and I am only going to cover the most interesting bits, which are the logical fragment, the termination predicate, the structural ordering, and a breif discussion of the lifting of the value restrictions in the programmatic fragment. #5

git-svn-id: https://svn.divms.uiowa.edu/repos/clc/reports/harley_thesis@16389 bd178f5f-7bea-4014-844f-495ca19b8805
Merge branch 'clc'