anchor.diff:          | Inr lid -> Ident.string_of_lid lid in
         let typ_str =
           if List.mem "type" requested_info then
  -          Some (FStar.Syntax.Print.term_to_string typ) //every entry in the table should already be normalized
  +          Some (term_to_string tcenv typ)
           else None in
         let doc_str =
           match name_or_lid with
  
positive.code:              sc.sc_fvars := Some fv; fv
  
  let json_of_search_result dsenv tcenv sc =
    let typ_str = Syntax.Print.term_to_string (sc_typ tcenv sc) in
    JsonAssoc [("lid", JsonStr (DsEnv.shorten_lid dsenv sc.sc_lid).str);
               ("type", JsonStr typ_str)]
  
  
negative.code: 
    let def_of_lid lid =
      Util.bind_opt (TcEnv.lookup_qname tcenv lid) (function
        | (Inr (se, _), _) -> Some (sigelt_to_string se)
        | _ -> None) in
  
    let info_at_pos_opt =
  