Added some documentation, improved pretty-printing of type expressions
to contain less parentheses.

Now the import declaration are separated from the other module declarations,
which simplifies parsing the module header and enables compilers to handle
import declarations and other declarations separately.