Type System

Syntax
Type :
     TYPE_IDENTIFIER
     | PrimitiveType
     | ArrayType
     | FunctionType
     | Struct
     | Enum
     | InferredType