Bug fixed in ResolveTree construction

Type removed from DiscoveredType was not the same as Type added (bug was
already existing in v1)