the identified type
'N/A' to indicate, that the current inference rule is not applicable for the given language node at all
a language node whose type should be inferred instead
an inference problem
the identified type