[gram] Remove now-incorrect claim that a typedef-name naming a class is

zygoloid · zygoloid · commit 0b5949957b7c · 2018-11-24T00:06:36.000-08:00
a class-name.
diff --git a/source/grammar.tex b/source/grammar.tex
@@ -54,9 +54,4 @@
 	identifier
 \end{ncbnf}
 
-Note that a
-\grammarterm{typedef-name}
-naming a class is also a
-\grammarterm{class-name}\iref{class.name}.
-
 \FlushAndPrintGrammar
