Fixed formal definition variables, typos abounded.
Changed the term "reductions" to "restrictions" to avoid clashing with polynomial reductions.
Added a section prefacing the restrictions we'll tackle.
Made sc_ss_sp be in sync with the notation defined in the first chapter, instead of the previous ad-hoc notation.