Finished sections on syntax and semantics on chapter 1