Changed the -ns-env option for -plain-imports
Imports are now by default only added in the environment. If -plain-imports
is given to the compiler, they are elaborated into plain aliases, and therefore
are exported. It is only for experiment purpose and should be removed once the
prototype is fully working (and the semantics finalized).