Modules

module ::= attribute* 'mod' '{' declaration* '}'

module-path ::= upper-identifier ('::' upper-identifier)*