In the presence of modules, we can have multiple lookup results for the same entity, and we need to re-check for completeness each time we consider a type.
Richard Smith