Types

A type can either be a tuple, a class, an enum, an interface, an array or a primitive.