Clarify the relationship between this::X and self::X

[Wilfred]

this::X is late-static-bound semantics for a const type in a class. Similar to static::some_value.

By contrast, self::X in a type and self::some_value are both resolved to the lexically bound class.