anchor.diff:          (binary)	    Left
   	18	* op, /op, %op	Left
   	19	** op	        Right
  -	20	f x (function 
  -        application)	Left
  +	20	f x (function   Left
  +        application)
  +        lazy x
  +        assert 
   	21	| (pattern 
           match)	        Right
   	22	prefix ops 
  
positive.code: *)
  
  (*
  4.4.1     Categorization of Symbolic Operators
  The following symbolic-op tokens can be used to form prefix and infix expressions. The marker OP represents all symbolic-op tokens that begin with the indicated prefix, except for tokens that appear elsewhere in the table.
  
  
negative.code: 
      infix-or-prefix-op
  
      -OP +OP || <OP >OP = |OP &OP ^OP *OP /OP %OP != !=OP
  
                           (or any of these preceded by one or more ‘.’)
  
  