design/tpl (Classification System): Correct vertical spacing on match ex

This is hinting that the xmlnl{,l} abstraction may not be working out.

design/tpl/sec/class.tex

@@ -535,7 +535,7 @@ More subtly,
     &\xml{<classify as="fullrank" desc="Example of all ranks">} \xmlnl
     &\quad\begin{aligned}
       &\xml{<match on="$A$" value="$u$" />}
-        \quad&&\equivish \varsub A = \varsub u \xmlnll
+        \quad&&\equivish \varsub A = \varsub u \\[-2mm]
       &\xml{<match on="$A$" value="$t$" />}
         \quad&&\equivish \varsub A = \varsub t \xmlnll
       &\xml{<match on="$u$" value="$t$" />}