Improve exposition of paper

Add a discussion of squared-term representation and make other minor
changes to wording
Tweak wording in Theorem 1 proof
Working on revisions to Theorem 2