Finish off the type system section
Minor fix to the semantics section
Fix bad search and replace
Fixpoint types section