Types

The grammar rules for types are:

		 type::				        boolean

$\vert$		 expr .. expr

$\vert$		 { atom,$\ldots$,atom }

$\vert$		 array expr .. expr of type

$\vert$		 atom ( expr,$\ldots$,expr )