design/tpl: More TODOs and margin remarks

design/tpl/sec/class.tex

@@ -17,6 +17,7 @@ Intuitively,
   \emph{tightly coupled} to the classification itself.
 This limitation is mitigated through use of the template system.
 
+\todo{$\Classify$ itself has not yet been defined.}
 \index{classification!conjunctive}
 \begin{definition}[\logand-Classification]\dfnlabel{classu}
   A conjunctive\footnote{%
@@ -66,7 +67,7 @@ This limitation is mitigated through use of the template system.
   \end{align*}
 \end{definition}
 
-\todo{$\Classify$ itself has not yet been defined.}
+\mremark{Note that these illustrate \emph{scalar} values only.}
 For example,
   consider the following classification $\Classify^\texttt{cost-exceeded}$.
 Let~\tameparam{cost} be a scalar parameter.
@@ -116,6 +117,7 @@ is equivalent to the proposition
 
 
 \subsection{Matches}
+\todo{Non-scalar values.}
 \begin{definition}[Match Equality]
   \begin{equation*}
     \xml{<match on="$x$" value="$y$" />} \equiv x = y.

design/tpl/sec/notation.tex

@@ -98,7 +98,7 @@ The symbol $\emptyset$ represents the empty set---%
 We assume that the axioms of ZFC~set theory hold,
   but define $\in$ here for clarity.
 
-% TODO: set-builder notation, union, intersection
+\todo{Introduce set-builder notation, $\union$, $\intersect$.}
 \indexsym\in{set membership}
 \indexsym\union{set, union}
 \indexsym\intersect{set, intersection}
@@ -268,6 +268,7 @@ This notation is used to simplify definitions of the classification system
   when dealing with vectors
     (see \secref{vec}).
 
+\mremark{$\bicompi{R}$ may be removed depending on how $\Classify$ is defined.}
 \begin{equation}\label{eq:bicompi}
   \alpha \bicompi{R} \beta =
     \begin{cases}

design/tpl/tpl.sty

@@ -137,3 +137,4 @@
 }
 
 \newcommand\todo[1]{\marginnote{\underline{\textsc{Todo:}}\\ \textsl{#1}}}
+\newcommand\mremark[1]{\marginnote{\textsl{#1}}}