Mangling issues

[Martin von Loewis]

> This is the intent.

Good.

> I'll have to work on wording to make the above clear.  Basically,
> you must compress a type as soon as you have the opportunity in its
> "top-down" traversal (unless the compression enlarges the encoding).
> This might sometimes be less optimal in that you must refer to a
> less recent type that requires more digits to refer to (but I think
> that's unusual).

I agree, and look forward to an updated version of the spec.

Martin