program_module

program_module ::= "MODULE" ident [ "[" priority "]" ] ";" 
      { import } 
      block ident "." 

[rule list]
This rule is called by

-> compilation_unit -> implementation_module