anchor.diff:          [] ->
               find_type(TailTypes, KnownTypes);
           [{RealType, _, _} | _] ->
  -            io:format("Das found:  ~p\n", [RealType]),
               RealType
       end.
   
  
positive.code: type_path_to_type(TypePath) when is_tuple(TypePath) ->
      type_path_to_type(tuple_to_list(TypePath));
  type_path_to_type (TypePath) ->
      io:format("Tasty tpye path:  ~p\n", [TypePath]),
      case is_list(hd(TypePath)) of
          true ->
              string:join (lists:reverse (TypePath), "_");
  
negative.code: canonical_name([TypePath | _]) ->
      % yes, we're assuming the first name in the list is the most 
      % cannonical name.
      type_path_to_type(TypePath).
  
  canonize_names(Messages) ->
  