Types are added to the SRS template - it has come up so many times, that it just makes sense

to add it to the template.  The data types section is considered optional.

BlankProjectTemplate/docs/SRS/SRS.tex

@@ -738,6 +738,45 @@ Symbol &$q_C$\\
 \end{tabular}
 \end{minipage}\\
 
+\subsubsection{Data Types}\label{sec_datatypes}
+
+\plt{This section is optional.  In many scientific computing programs it isn't
+  necessary, since the inputs and outpus are straightforward types, like reals,
+  integers, and sequences of reals and integers.  However, for some problems it
+  is very helpful to capture the type information.}
+
+\plt{The data types are not derived; they are simply stated and used by other
+  models.}
+
+\plt{All data types must be used by at least one of the models.}
+
+\plt{For the mathematical notation for expressing types, the recommendation is
+  to use the notation of~\citet{HoffmanAndStrooper1995}.}
+
+This section collects and defines all the data types needed to document the
+models. \plt{Modify the examples below for your problem, and add additional
+  definitions as appropriate.}
+
+~\newline
+
+\noindent
+\begin{minipage}{\textwidth}
+\renewcommand*{\arraystretch}{1.5}
+\begin{tabular}{| p{\colAwidth} | p{\colBwidth}|}
+  \hline
+  \rowcolor[gray]{0.9}
+  Type Name & Name for Type\\
+  \hline
+  Type Def & mathematical definition of the type\\
+  \hline
+  Description & description here
+  \\
+  \hline
+  Sources & Citation here, if the type is borrowed from another source\\
+  \hline
+\end{tabular}
+\end{minipage}\\
+
 \subsubsection{Instance Models} \label{sec_instance}    
 
 \plt{The motivation for this section is to reduce the problem defined in