merged somehow.
responses to some of dylans comments.
added a proof to Lemma 2.7.1
introduced "factorization system" section
minor edits
minor edit
added some of the proof of main corollary