Rephrase some things and add necessary subsections to values-functors post draft.