[Oberon] Clarifying type compatibility in Oberon-07

[August Karlstrom]

On 2017-10-08 07:26, Jörg wrote:
> Or: to be extremely consequent(!!) A PROCEDURE (especially those to be 
> used as variables) should get a named TYPE. Something like
> 
> PROCEDURE myDot = DotType; (* totally new syntax *)
This would be problematic if you want to use an existing procedure, like 
Math.sin in .e.g. Integral(Math.sin, 0.0, Math.pi).

-- August