A package may import any number
of packages via import statements.
An import statement, given in
the package p, specifies the
fully qualified name of a package q
and an unqualified name r, and
allows definitions given inside p
to refer to definitions in q by
qualifying their names with r.
As an example, consider a package q
that contains a type declaration T.
If package p imports
q using the
unqualified name r, then
definitions inside p may refer
to T using the syntax
r:T.