adding a lexicon prefix to every oper (in order to avoid name clashes across concrete syntaxes)