current_op( P, Type, A)* is iso
Defines the relation: A is a currently defined operator of type T and precedence P.