(Chapter 8) Added tyarith basic syntax types

Added foundation types for tyarith syntax