improved name binding: modules scope sorts, non-transitive imports,
errors and warnings