Potentially confusing behaviour of using and hiding for import

[janmasrovira]

Example:

module example;

import Stdlib.Prelude;
import Stdlib.Prelude using {Bool};

x : Stdlib.Prelude.Bool := Stdlib.Prelude.true; -- error: Stdlib.Prelude.true is not in scope

It might be counterintuitive that the second import shadows/overwrites the first one.
I think it would be less confusing if imports behaved additively. I.e. the same way as open statements. Then, the above example should typecheck.