Implicit "module Main" added

When there is no module header, it is assumed that the module is the
Main module. This is mostly to ensure all names are qualified.
%unqualified is for the (rare, and probably builtins only) case where no
name qualification is desired.