Optional
associatedA node from the language might be associated with the new type to create, e.g. the declaration node in the AST (e.g. a FunctionDeclarationNode is associated with the corresponding FunctionType).
Optional
inferenceOptional
inferenceOptional
inferenceOptional
inferenceOptional
super
Contains properties which are be relevant for all types to create, i.e. it is used for specifying details of all types to create.