anchor.diff:  	    NTypes = build_type_entry(Types, Type),
   	    case dict:is_key(Alias, NTypes) of
   		true ->
  -		    %% oh my, we stroe a constructor for a userdefined type here, no typedef
  +		    %% oh my, we store a constructor for a user-defined type here, no typedef
   		    {NTypes, Symbols};
   		false ->
   		    %% everything is ok 
  
positive.code: 		    dict:store(Type, {userdef, Def}, TypeTable)
  	    end
      end.
  
  
negative.code: 		    false; %% loop
  		{userdef, [T]} ->
  		    %% constructor or dead end
  		    case Type =:= T of
  			true ->
  			    false; %% loop - typedef with same name as constructor/no constructor available
  			false ->
  			    check_type(T, Types)
  		    end;
  		{userdef, [H|_]} ->
  