[Oberon] Clarifying type compatibility in Oberon-07

[August Karlstrom]

On 2017-10-05 13:03, Jörg wrote:
>> 4. Ta and Tb are pointer types whose pointer base types are the same, or
>> This rule is not needed, as it is covered by Assignment rule 4, assuming T is an extension of T itself.

Correct. My mistake.


-- August