Editorial: Drop unused defn of VarDeclaredNames

VarDeclaredNames is invoked on |ModuleItemList|,
but not on |Module|.

Author: jmdyck

spec.html

@@ -6469,10 +6469,6 @@ <h1>Static Semantics: VarDeclaredNames</h1>
       <emu-alg>
         1. Return TopLevelVarDeclaredNames of |StatementList|.
       </emu-alg>
-      <emu-grammar>Module : [empty]</emu-grammar>
-      <emu-alg>
-        1. Return a new empty List.
-      </emu-alg>
       <emu-grammar>ModuleItemList : ModuleItemList ModuleItem</emu-grammar>
       <emu-alg>
         1. Let _names_ be VarDeclaredNames of |ModuleItemList|.