Importing an inductive type should by default also import the associated module

[lukaszcz]

For example, writing

import Stdlib.Prelude using {List} open;

should make both the type List and the associated module List available. Perhaps ordinary using should import all identifiers with a given name (definitions, modules, fixities, whatever)? This is what I would expect most users to expect, and it's the most common use-case. If you want to specify that only a given sort of identifiers should be imported, there should be explicit syntax for it (but it will be rarely used):

import Stdlib.Prelude using {definition List; module List} open;