anchor.diff:  
   to_term(B) when is_binary(B) -> imem_datatype:io_to_term(B);
   to_term(T) -> T.
  +
  +to_json(B) when is_binary(B) -> 
  +    imem_json:encode(imem_json:decode(B, [return_maps]));
  +to_json(M) -> 
  +    imem_json:encode(M).
   
   to_pid(T) when is_pid(T) -> T;
   to_pid(B) -> imem_datatype:io_to_pid(B).
  
positive.code:         , to_number/1
          , to_string/1
          , to_binstr/1
          , to_atom/1
          , to_existing_atom/1
          , to_tuple/1
  
negative.code: unary_fun_result_type("prefix_ul") ->           #bind{type=list,default=?nav};
  unary_fun_result_type("json_to_list") ->        #bind{type=list,default=[]};
  unary_fun_result_type("phash2") ->              #bind{type=integer,default=0};
  unary_fun_result_type("to_json") ->             #bind{type=binstr,default=?nav};
  unary_fun_result_type(String) ->            
      case re:run(String,"to_(.*)$",[{capture,[1],list}]) of
          {match,["binstr"]}->                    #bind{type=binstr,default=?nav};
  