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
inferenceIn case of multiple inference rules, later rules are not evaluated anymore, if an earlier rule already matched.
Contains properties which are be relevant for all types to create, i.e. it is used for specifying details of all types to create.