ANNOTATION_OPERATOR

The Operator declaration for ANNOTATION_FUNCTOR: infix, right-associative (xfy), with priority 900 -- lower (binding tighter) than the :- neck operator, so that 0.3::burglary :- foo. parses as (0.3::burglary) :- foo. rather than 0.3::(burglary :- foo).