Fixed up semantic issues and imprecise language. Currently macro'd out examples to see the state of the paper.