Step 8.1 of value compaction algorithm is not clear

[zoggy]

Hi,

Sorry if the question was already raised but I did not find it in the issues.

Step 8.1 of the value compaction algorithm is not clear (at least to me):

Replace any value of @type in result with the result of IRI compacting the value of the @type entry.

Am I correct if I reformulate it this way:

"For each value V of @type entries in result, replace V with the result of IRI compacting V" ?

Since at this point result is a map, it should have only one @type entry. Does it mean that all values of @type entries should be replaced this way recursively in result ?

[Eriddle96]

I like it