Этой версии реальности оказалось достаточно того факта что+,-и~(и может ещё какие-то) введены как monadic operations в парсере Оберона (и соответственно, везде, где он является основой).

А иначе как-то геморно реализовывать разбор такого многозначительного минуса, тут тебе и negation и difference и просто отрицательное число.