Some chapter 2, section 3, axiomatization fixes
Some chapter 2, section 3, labeled natural deduction fixes