anchor.diff:            if List.length tvars = 0 then
               Some (DExternal (None, meta, name, translate_type env t0))
             else begin
  -            BU.print1_warning "No writing anything for %s (polymorphic assume)\n" (Syntax.string_of_mlpath name);
  +            BU.print1_warning "Not extracting %s to KreMLin (polymorphic assumes are not supported)\n" (Syntax.string_of_mlpath name);
               None
             end
           else begin
  
positive.code:           with e ->
              // JP: TODO: figure out what are the remaining things we don't extract
              let msg = BU.print_exn e in
              Errors. log_issue Range.dummyRange (Errors.Warning_FunctionNotExtacted, (BU.format2 "Writing a stub for %s (%s)\n" (Syntax.string_of_mlpath name) msg));
              let msg = "This function was not extracted:\n" ^ msg in
              Some (DFunction (None, meta, List.length tvars, t, name, binders, EAbortS msg))
          end
  
negative.code: 
    | (_, name, _mangled_name, _, _, _) ->
        // JP: TODO: figure out why and how this happens
        Errors. log_issue Range.dummyRange (Errors.Warning_DefinitionNotTranslated, (BU.format1 "Error extracting type definition %s to KreMLin\n" name));
        None
  
  and translate_type env t: typ =
  