Typol Operator

[kuehne@pi.informatik.th-darmstadt.de (Thomas Kuehne)]

Hello,

I need an language operator exclusivly for semantic purposes.
It is irrelevant for the set of data that can be expressed with the language.
Therefore i do not want to include it in my METAL language definition.

I tried to introduce it with the "define" construct of TYPOL.

Unfortunatly it introduces a new PHYLUM (EVENT), that is differnt to my
aimed PHYLUM (MENU::EVENT). The "define" syntax does not allow to specify
the disambiguated PHYLUM (MENU::EVENT).

Is there a possiblity to extend my existing language with an operator 
without changing the original language definition.

Thank you

	- Thomas -