Operator's index has 12-bit precision (#63)

ltx/exprs.tex

@@ -1746,7 +1746,7 @@ \subsection{Niladic operators}
 A sort value \valueTag{OperatorSort::Niladic} indicates a niladic operator -- 
 an operator accepting no argument.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{NiladicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{NiladicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{NiladicOperator}
 	\enumerator{Unknown}
@@ -1795,7 +1795,7 @@ \subsection{Monadic operators}
 A sort value \valueTag{OperatorSort::Monadic} indicates a monadic operator -- 
 an operator accepting one argument.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{MonadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{MonadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{MonadicOperator}
 	\enumerator{Unknown}
@@ -2092,7 +2092,7 @@ \subsection{Dyadic operators}
 A sort value \valueTag{OperatorSort::Dyadic} indicates a dyadic operator -- 
 an operator accepting two arguments.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{DyadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{DyadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{DyadicOperator}
 	\enumerator{Unknown}
@@ -2498,7 +2498,7 @@ \subsection{Triadic operators}
 A sort value \valueTag{OperatorSort::Triadic} indicates a triadic operator -- 
 an operator accepting three arguments.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{TriadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{TriadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{TriadicOperator}
 	\enumerator{Unknown}
@@ -2556,7 +2556,7 @@ \subsection{Storage operators}
 A sort value \valueTag{OperatorSort::Storage} indicates a storage 
 allocation or deallocation operator.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{StorageOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{StorageOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{StorageOperator}
 	\enumerator{Unknown}
@@ -2594,7 +2594,7 @@ \subsection{Variadic operators}
 A sort value \valueTag{OperatorSort::Variadic} indicates a variadic operator -- 
 an operator accepting any number of arguments.  The
 value of the \field{index} is to be interpreted as a value of type 
-\type{VariadicOperator}, which is a set of $13$-bit values enumerated as follows.
+\type{VariadicOperator}, which is a set of $12$-bit values enumerated as follows.
 %
 \begin{Enumeration}{VariadicOperator}
 	\enumerator{Unknown}