NEW: Prolog Operator.

Instead of Prolog Expression, which repesents only mathematical expressions, there will now be Prolog Operator. Each Operator has a precedence (0 - 1200), a type (xfy, fx, etc.) and a name. The name will be used to find the actual term that the Operator masks.