Member predicate AnalyzedNode :: ppTypes
Gets a pretty-printed representation of all types inferred for this node as a comma-separated list, with the last comma being spelled “or”.
This is useful for violation message, since some expressions (in particular addition) may have more than one inferred type.