anchor.diff:    | TAnnotated(i,t)
     | Annotated(i,t) -> concat [str i.idText; colon; doc_of_term t]
     | NoName t -> doc_of_term t in
  -  (doc_of_aqual x.aqual) ^^ s
  +  concat [doc_of_aqual x.aqual;  s]
   
   and doc_of_aqual = function
      | Some Equality -> str "$"
  
positive.code:                     separate_map space doc_of_binder bs; 
                      dot; lbrace; colon; str "pattern"; space;
                      // TODO: should the separator be /\ here? 
                      separate_map (str " \/ ") (separate_map (semi ^^ space) doc_of_term) pats;
                      rbrace; space;
                      doc_of_term t])
    | QExists(bs, pats, t) ->
  
negative.code:                     str "exists"; space;
                      separate_map space doc_of_binder bs; 
                      dot; lbrace; colon; str "pattern"; space;
                      separate_map (str " \/ ") (separate_map (concat [semi; space]) doc_of_term) pats;
                      rbrace; space;
                      doc_of_term t])
  
  