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.