Apply \firstuse when introducing overdetermined type/record

chapters/connectors.tex

@@ -836,10 +836,10 @@ \subsection{Overconstrained Equation Operators for Connection Graphs}\label{over
 If the elements of a record \lstinline!Record! are not independent from each other, the equation \lstinline!R1 = R2! contains redundant equations.
 \end{nonnormative}
 
-A type class with an \lstinline!equalityConstraint! function declaration is called overdetermined type.  A record class with an \lstinline!equalityConstraint! function definition is called
-overdetermined record.  A connector that contains instances of overdetermined type and/or record classes is called overdetermined connector.  An overdetermined type or record may neither have flow
-components nor may be used as a type of flow components.  If an array is used as argument to any of the \lstinline!Connections.*! functions it is treated as one unit --- unlike \lstinline!connect!,
-there is no special treatment of this case, compare \cref{connect-equations-and-connectors}.
+A type class with an \lstinline!equalityConstraint! function declaration is called \firstuse{overdetermined type}.  A record class with an \lstinline!equalityConstraint! function definition is called
+\firstuse{overdetermined record}.  A connector that contains instances of overdetermined type and/or record classes is called overdetermined connector.  An overdetermined type or record may neither
+have flow components nor may be used as a type of flow components.  If an array is used as argument to any of the \lstinline!Connections.*! functions it is treated as one unit --- unlike
+\lstinline!connect!, there is no special treatment of this case, compare \cref{connect-equations-and-connectors}.
 
 Every instance of an overdetermined type or record in an overdetermined
 connector is a node in a virtual connection graph that is used to