added a basic mechanism of priority to FormulaOpeator.