Merge pull request #2 from VoQn/Chapter8

(Chapter 8) Added tyarith basic syntax types