\par\noindent{\texttt{{{#3} :: {#6}}}}
\\{#7} {#8}\\}
+\newcommand{\primtypespec}[4]{
+\par\noindent{Primitive type: \texttt{{#2}}}
+\\{#3} {#4}\\}
+
+\newcommand{\pseudoopspec}[5]{
+\par\noindent{\texttt{{{#1} :: {#3}}}}
+\\{#4} {#5}\\}
+
\input{prims.tex}
\subsubsection{RealWorld}