Contents for Ch5
Fixes for Ch 3, Section 3
Fixes for Ch 3, Sections 4 and 5
Removed classic IS5 and sequent calculus chapters
Appendix A, Section 2, Lang_L
Appendix A, Section 2, Lang_LF and Hyb