anchor.diff:            else if fv_eq_lid fv C.sread_lid then Some fv.fv_name.v.str
             //else if fv.fv_name.v.str.Contains(U.field_projector_prefix) then Some fv.fv_name.v.str
             else None
  -      end 
  +  in
  +  match (SS.compress t).n with 
  +    | Tm_fvar fv -> 
  +      let s = if fv.fv_name.v.nsstr.Length=0 then fv.fv_name.v.str 
  +              else fv.fv_name.v.str.Substring(fv.fv_name.v.nsstr.Length+1) in 
  +      begin match string_to_op s with
  +        | Some t -> Some t
  +        | _ -> fallback fv
  +      end
       | _ -> None
   
   let is_true_pat (p:S.pat) : bool = match p.v with
  
positive.code:     | None ->
        mk (A.Construct(C.effect_Tot_lid, [(t, A.Nothing)]))
      | Some u ->
        // where should we put the resugared universe? Add to the
        // list for now.
        let u = resugar_universe u c.pos in 
        mk (A.Construct(C.effect_Tot_lid, [(t, A.Nothing);(u, A.Nothing)]))
      end
  
    | GTotal (typ, u) ->
  
negative.code:         in
          if is_pat_app then
            let args = binders |> List.map (fun (bv, _) -> mk_pat(A.PatVar (bv_as_unique_ident bv, None))) in
            ((mk_pat (A.PatApp (pat, args)), resugar_term term), (List.map (fun x -> x.idText) univs |> String.concat  ", "))
          else
            ((pat, resugar_term term), (List.map (fun x -> x.idText) univs |> String.concat  ", "))
        in
        let r = List.map (resugar_one_binding) bnds in
        let bnds = List.map fst r in
        let comments = List.map snd r in
        let body = resugar_term body in
        mk (A.Let((if is_rec then A.Rec else A.NoLetQualifier), bnds, body))
             
      | Tm_uvar (u, _) ->
        let s = "uu___unification_ " ^ (FStar.Unionfind.uvar_id u |> string_of_int) in
        mk (var s t.pos)
  
      | Tm_meta(e, m) ->
         let resugar_meta_desugared = function
  