Added the second namespace proposal into the typing (as an option)
In the first one, the imports are elaborated into structures, whereas a
namespace becomes a structure containing containing its aliases. In the second,
only the alias to modules into namespaces are added. Its is the second proposal
that is used by default.