Imprecise/inconsistent use of "module" vs "module resource"

4 "Modules and Prologs" states:

   Definition: A module that does not contain a Query Body is called a
   library module.

However, a few lines above we learn that a library module consists
of one or more module resources.  So this definition is wrong: it
defines a 'library module resource', not a 'library module'.

Note also the grammer non-terminal LibraryModule defines a 'library
module resource', not a 'library module'.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/