anchor.diff:                end;
               false ->
                 self() ! {self(), ext_types, {RemMod, Name, ArgsLen}},
  -              {t_any(), L1}
  +              {t_any(), L}
             end
         end
     end.
  
positive.code:                       t_from_form(Form, NewTypeNames, ET,
                                    Site, MR, TmpVarDict, D, L1);
                      false ->
                        {t_any(), L1}
                    end;
                  {opaque, {{Mod, _FileLine, Form, ArgNames}, Type}} ->
                    List = lists:zip(ArgNames, ArgTypes),
                    TmpVarDict = dict:from_list(List),
                    {NewRep, L2} =
                      case can_unfold_more(RemType, TypeNames) of
                        true ->
                          NewTypeNames = [RemType|TypeNames],
                          Site = RemType,
                          t_from_form(Form, NewTypeNames, ET, Site, MR,
                                      TmpVarDict, D, L1);
                        false -> {t_any(), L1}
                      end,
                    NewRep1 = choose_opaque_type(NewRep, Type),
                    NewRep2 =
                      case cannot_have_opaque(NewRep1, RemType, TypeNames) of
                        true -> NewRep1;
                       false ->
                         ArgTypes2 = subst_all_vars_to_any_list(ArgTypes),
                         t_opaque(Mod, Name, ArgTypes2, NewRep1)
                      end,
                    {NewRep2, L2};
                  error ->
                    Msg = io_lib:format("Unable to find remote type ~w:~w()\n",
                                        [RemMod, Name]),
  
negative.code:                 {type, {{_Mod, _FileLine, Form, ArgNames}, _Type}} ->
                    case can_unfold_more(RemType, TypeNames) of
                      true ->
                        {ArgTypes, L1} =
                          list_from_form(Args, TypeNames, ET, S, MR, V, D, L),
                        List = lists:zip(ArgNames, ArgTypes),
                        TmpVarDict = dict:from_list(List),
                        NewTypeNames = [RemType|TypeNames],
  