Added a warning in case of shadowing previous import (52)
Corrected order of imports
Since it is possible to shadow a module previously defined, when adding only in
environment each import must be computed separately. In the case of elaboration
into structures the hierarchy still has to be computed before elaborating.