PackageDecl ::= <Name:String>;