Minor fixes, mostly typos (#250)

specs/language/basic.tex

@@ -80,7 +80,7 @@
 \item or a \textit{using-directive} (\ref{Decl}).
 \end{itemize}
 
-\p The two examples below is adapted from \gls{isoCPP} \textbf{[basic.def]}. All
+\p The two examples below are adapted from \gls{isoCPP} \textbf{[basic.def]}. All
 but one of the following are definitions:
 \begin{HLSL}
 int f(int x) { return x+1; } // defines f and x
@@ -146,7 +146,7 @@
 % precision types should be intangible.
 
 \p A class type \texttt{T} is an \textit{intangible class type} if it contains
-an base classes or members of intangible class type, standard intangible type,
+a base class or members of intangible class type, standard intangible type,
 or arrays of such types. Standard intangible types and intangible class types
 are collectively called \textit{intangible types}(\ref{Intangible}).
 

specs/language/introduction.tex

@@ -203,7 +203,7 @@
 
 \SubSub{\gls{lane} States}{Intro.Model.Terms.LaneState}
 
-\p \gls{lane}s may be in three primary states: \textit{active}, \textit{helper},
+\p \gls{lane}s may be in four primary states: \textit{active}, \textit{helper},
 \textit{inactive}, and \textit{predicated off}.
 
 \p An \textit{active} \gls{lane} is enabled to perform computations and produce

specs/language/lex.tex

@@ -154,15 +154,15 @@
 \Sec{Comments}{Lex.Comments}
 
 \p The characters \texttt{/*} start a comment which terminates with the
-characters \texttt{*\textbackslash}. The characters \texttt{//} start a comment
+characters \texttt{*/}. The characters \texttt{//} start a comment
 which terminates at the next new line.
 
 \Sec{Header Names}{Lex.Headers}
 
 \begin{grammar}
   \define{header-name}\br
   \texttt{<} h-char-sequence \texttt{>}\br
-  \texttt{"} h-char-sequence \texttt{"}
+  \texttt{"} q-char-sequence \texttt{"}
 
   \define{h-char-sequence}\br
   h-char\br