OptionalassociatedA 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).
OptionalinferenceOptionalinferenceOptionalinferenceOptionalinferenceOptionalsuper
Contains properties which are be relevant for all types to create, i.e. it is used for specifying details of all types to create.