> The Oberon Report is short but unfortunately not complete. Agreed. I would very much prefer to have the type rules specified more explicitly, as Luca and Karl have proposed and as in the Oberon-2 report. This is in fact not an easy task and can become quite subtle, once you “really” get down to the edge cases.